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