Anne is green. Charlie is white. Gary is green. Harry is big. Young, blue people are not white. All cold people are white. If someone is white then they are green. If someone is cold then they are young. All white people are young. Cold, green people are red.
Anne is green.
("Anne" "is" "green" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Gary is green.
("Gary" "is" "green" "+")
Harry is big.
("Harry" "is" "big" "+")
Young, blue people are not white.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "white" "-"))
All cold people are white.
((("someone" "is" "cold" "+")) -> ("someone" "is" "white" "+"))
If someone is white then they are green.
((("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
If someone is cold then they are young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
All white people are young.
((("someone" "is" "white" "+")) -> ("someone" "is" "young" "+"))
Cold, green people are red.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
Harry is big.
True
1
proof
[(triple4)]
("Harry" "is" "big" "+")
triple4
Anne is not green.
False
1
inv-proof
[(triple1)]
("Anne" "is" "green" "-")
triple1
Anne is not red.
Unknown
inv-rconc
[@1: Anne is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Anne" "is" "red" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Anne is green.[(triple1)] Charlie is white.[(triple2)] Gary is green.[(triple3)] Harry is big.[(triple4)] @1: Charlie is green.[(((triple2) -> rule3))] Charlie is young.[(((triple2) -> rule5))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Charlie is white.
("Charlie" "is" "white" "+")
triple2
Gary is green.
("Gary" "is" "green" "+")
triple3
Harry is big.
("Harry" "is" "big" "+")
triple4
Charlie is green.
("Charlie" "is" "green" "+")
((triple2) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((triple2) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1