Charlie is green. Dave is smart. Erin is rough. Gary is quiet. If something is green and rough then it is young. If something is green then it is blue. If something is white then it is young. Blue things are quiet. All quiet, young things are blue. If Erin is green and Erin is smart then Erin is quiet.
Charlie is green.
("Charlie" "is" "green" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
If something is green and rough then it is young.
((("something" "is" "green" "+") ("something" "is" "rough" "+")) -> ("something" "is" "young" "+"))
If something is green then it is blue.
((("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
If something is white then it is young.
((("something" "is" "white" "+")) -> ("something" "is" "young" "+"))
Blue things are quiet.
((("something" "is" "blue" "+")) -> ("something" "is" "quiet" "+"))
All quiet, young things are blue.
((("something" "is" "quiet" "+") ("something" "is" "young" "+")) -> ("something" "is" "blue" "+"))
If Erin is green and Erin is smart then Erin is quiet.
((("Erin" "is" "green" "+") ("Erin" "is" "smart" "+")) -> ("Erin" "is" "quiet" "+"))
Charlie is green.
True
1
proof
[(triple1)]
("Charlie" "is" "green" "+")
triple1
Charlie is not green.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "green" "-")
triple1
Dave is not blue.
Unknown
inv-rconc
[@2: Dave is blue.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Dave" "is" "blue" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
@0: Charlie is green.[(triple1)] Dave is smart.[(triple2)] Erin is rough.[(triple3)] Gary is quiet.[(triple4)] @1: Charlie is blue.[(((triple1) -> rule2))] @2: Charlie is quiet.[(((((triple1) -> rule2)) -> rule4))]
Charlie is green.
("Charlie" "is" "green" "+")
triple1
Dave is smart.
("Dave" "is" "smart" "+")
triple2
Erin is rough.
("Erin" "is" "rough" "+")
triple3
Gary is quiet.
("Gary" "is" "quiet" "+")
triple4
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple1) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((((triple1) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2