Anne is kind. Charlie is big. Erin is young. Blue, big things are kind. All big, kind things are nice. If Charlie is kind and Charlie is green then Charlie is young. If something is big and white then it is blue. If something is nice and green then it is white. If something is young then it is white. If something is big and young then it is kind. All nice, blue things are white.
Anne is kind.
("Anne" "is" "kind" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Erin is young.
("Erin" "is" "young" "+")
Blue, big things are kind.
((("something" "is" "blue" "+") ("something" "is" "big" "+")) -> ("something" "is" "kind" "+"))
All big, kind things are nice.
((("something" "is" "big" "+") ("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
If Charlie is kind and Charlie is green then Charlie is young.
((("Charlie" "is" "kind" "+") ("Charlie" "is" "green" "+")) -> ("Charlie" "is" "young" "+"))
If something is big and white then it is blue.
((("something" "is" "big" "+") ("something" "is" "white" "+")) -> ("something" "is" "blue" "+"))
If something is nice and green then it is white.
((("something" "is" "nice" "+") ("something" "is" "green" "+")) -> ("something" "is" "white" "+"))
If something is young then it is white.
((("something" "is" "young" "+")) -> ("something" "is" "white" "+"))
If something is big and young then it is kind.
((("something" "is" "big" "+") ("something" "is" "young" "+")) -> ("something" "is" "kind" "+"))
All nice, blue things are white.
((("something" "is" "nice" "+") ("something" "is" "blue" "+")) -> ("something" "is" "white" "+"))
Anne is kind.
True
1
proof
[(triple1)]
("Anne" "is" "kind" "+")
triple1
Erin is not young.
False
1
inv-proof
[(triple3)]
("Erin" "is" "young" "-")
triple3
Anne is not blue.
Unknown
inv-rconc
[@1: Anne is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Anne" "is" "blue" "-")
Erin is green.
Unknown
random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "+")
@0: Anne is kind.[(triple1)] Charlie is big.[(triple2)] Erin is young.[(triple3)] @1: Erin is white.[(((triple3) -> rule6))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple2
Erin is young.
("Erin" "is" "young" "+")
triple3
Erin is white.
("Erin" "is" "white" "+")
((triple3) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1