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