Charlie is not blue. Charlie is red. Charlie is not rough. Erin is green. Gary is blue. Harry is rough. Harry is white. White people are not blue. All smart people are green. All young, rough people are green. If Erin is red then Erin is rough. Blue, green people are rough. If Harry is young and Harry is smart then Harry is green.
Charlie is not blue.
("Charlie" "is" "blue" "-")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is not rough.
("Charlie" "is" "rough" "-")
Erin is green.
("Erin" "is" "green" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is white.
("Harry" "is" "white" "+")
White people are not blue.
((("someone" "is" "white" "+")) -> ("someone" "is" "blue" "-"))
All smart people are green.
((("someone" "is" "smart" "+")) -> ("someone" "is" "green" "+"))
All young, rough people are green.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If Erin is red then Erin is rough.
((("Erin" "is" "red" "+")) -> ("Erin" "is" "rough" "+"))
Blue, green people are rough.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If Harry is young and Harry is smart then Harry is green.
((("Harry" "is" "young" "+") ("Harry" "is" "smart" "+")) -> ("Harry" "is" "green" "+"))
Charlie is not rough.
True
1
proof
[(triple3)]
("Charlie" "is" "rough" "-")
triple3
Harry is not white.
False
1
inv-proof
[(triple7)]
("Harry" "is" "white" "-")
triple7
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "green" "-")
Harry is smart.
Unknown
random
[@0: Harry is smart.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "smart" "+")
@0: Charlie is not blue.[(triple1)] Charlie is not rough.[(triple3)] Charlie is red.[(triple2)] Erin is green.[(triple4)] Gary is blue.[(triple5)] Harry is rough.[(triple6)] Harry is white.[(triple7)] @1: Harry is not blue.[(((triple7) -> rule1))]
Charlie is not blue.
("Charlie" "is" "blue" "-")
triple1
Charlie is not rough.
("Charlie" "is" "rough" "-")
triple3
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Erin is green.
("Erin" "is" "green" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple5
Harry is rough.
("Harry" "is" "rough" "+")
triple6
Harry is white.
("Harry" "is" "white" "+")
triple7
Harry is not blue.
("Harry" "is" "blue" "-")
((triple7) -> (rule1 % int1))
Harry is not blue.
("Harry" "is" "blue" "-")
int1