Bob is red. Charlie is smart. Fiona is smart. Gary is furry. All blue, white things are rough. White, red things are big. If something is white and smart then it is red. All blue things are smart. Blue, rough things are furry. If something is blue then it is red.
Bob is red.
("Bob" "is" "red" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is furry.
("Gary" "is" "furry" "+")
All blue, white things are rough.
((("something" "is" "blue" "+") ("something" "is" "white" "+")) -> ("something" "is" "rough" "+"))
White, red things are big.
((("something" "is" "white" "+") ("something" "is" "red" "+")) -> ("something" "is" "big" "+"))
If something is white and smart then it is red.
((("something" "is" "white" "+") ("something" "is" "smart" "+")) -> ("something" "is" "red" "+"))
All blue things are smart.
((("something" "is" "blue" "+")) -> ("something" "is" "smart" "+"))
Blue, rough things are furry.
((("something" "is" "blue" "+") ("something" "is" "rough" "+")) -> ("something" "is" "furry" "+"))
If something is blue then it is red.
((("something" "is" "blue" "+")) -> ("something" "is" "red" "+"))
Charlie is smart.
True
1
proof
[(triple2)]
("Charlie" "is" "smart" "+")
triple2
Fiona is not smart.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "smart" "-")
triple3
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "rough" "-")
Gary is white.
Unknown
random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "+")
@0: Bob is red.[(triple1)] Charlie is smart.[(triple2)] Fiona is smart.[(triple3)] Gary is furry.[(triple4)]
Bob is red.
("Bob" "is" "red" "+")
triple1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple2
Fiona is smart.
("Fiona" "is" "smart" "+")
triple3
Gary is furry.
("Gary" "is" "furry" "+")
triple4