Charlie is kind. Dave is white. Erin is round. Fiona is kind. Quiet things are big. If something is kind and blue then it is white. All blue things are big. If something is white and kind then it is round. All quiet, white things are big. If Dave is kind then Dave is blue.
Charlie is kind.
("Charlie" "is" "kind" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is round.
("Erin" "is" "round" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Quiet things are big.
((("something" "is" "quiet" "+")) -> ("something" "is" "big" "+"))
If something is kind and blue then it is white.
((("something" "is" "kind" "+") ("something" "is" "blue" "+")) -> ("something" "is" "white" "+"))
All blue things are big.
((("something" "is" "blue" "+")) -> ("something" "is" "big" "+"))
If something is white and kind then it is round.
((("something" "is" "white" "+") ("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
All quiet, white things are big.
((("something" "is" "quiet" "+") ("something" "is" "white" "+")) -> ("something" "is" "big" "+"))
If Dave is kind then Dave is blue.
((("Dave" "is" "kind" "+")) -> ("Dave" "is" "blue" "+"))
Fiona is kind.
True
1
proof
[(triple4)]
("Fiona" "is" "kind" "+")
triple4
Fiona is not kind.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "kind" "-")
triple4
Fiona is not white.
Unknown
inv-rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "white" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
@0: Charlie is kind.[(triple1)] Dave is white.[(triple2)] Erin is round.[(triple3)] Fiona is kind.[(triple4)]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple1
Dave is white.
("Dave" "is" "white" "+")
triple2
Erin is round.
("Erin" "is" "round" "+")
triple3
Fiona is kind.
("Fiona" "is" "kind" "+")
triple4