Bob is green. Erin is rough. Fiona is white. If Bob is kind and Bob is blue then Bob is big. Green, white things are not big. Green, blue things are kind. If something is kind and not green then it is not furry. If something is blue then it is furry. If Bob is rough and Bob is kind then Bob is not furry. If something is big and not kind then it is rough. If something is furry then it is rough.
Bob is green.
("Bob" "is" "green" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If Bob is kind and Bob is blue then Bob is big.
((("Bob" "is" "kind" "+") ("Bob" "is" "blue" "+")) -> ("Bob" "is" "big" "+"))
Green, white things are not big.
((("something" "is" "green" "+") ("something" "is" "white" "+")) -> ("something" "is" "big" "-"))
Green, blue things are kind.
((("something" "is" "green" "+") ("something" "is" "blue" "+")) -> ("something" "is" "kind" "+"))
If something is kind and not green then it is not furry.
((("something" "is" "kind" "+") ("something" "is" "green" "~")) -> ("something" "is" "furry" "-"))
If something is blue then it is furry.
((("something" "is" "blue" "+")) -> ("something" "is" "furry" "+"))
If Bob is rough and Bob is kind then Bob is not furry.
((("Bob" "is" "rough" "+") ("Bob" "is" "kind" "+")) -> ("Bob" "is" "furry" "-"))
If something is big and not kind then it is rough.
((("something" "is" "big" "+") ("something" "is" "kind" "~")) -> ("something" "is" "rough" "+"))
If something is furry then it is rough.
((("something" "is" "furry" "+")) -> ("something" "is" "rough" "+"))
Fiona is white.
True
1
proof
[(triple3)]
("Fiona" "is" "white" "+")
triple3
Erin is not rough.
False
1
inv-proof
[(triple2)]
("Erin" "is" "rough" "-")
triple2
Erin is not furry.
Unknown
inv-rconc
[@1: Erin is furry.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Erin" "is" "furry" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
@0: Bob is green.[(triple1)] Erin is rough.[(triple2)] Fiona is white.[(triple3)]
Bob is green.
("Bob" "is" "green" "+")
triple1
Erin is rough.
("Erin" "is" "rough" "+")
triple2
Fiona is white.
("Fiona" "is" "white" "+")
triple3