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