Anne is quiet. Charlie is quiet. Charlie is round. Charlie is young. Gary is big. Gary is cold. Gary is furry. Gary is quiet. Gary is round. Gary is young. If something is furry and quiet then it is young. If Charlie is furry and Charlie is big then Charlie is quiet.
Anne is quiet.
("Anne" "is" "quiet" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is young.
("Gary" "is" "young" "+")
If something is furry and quiet then it is young.
((("something" "is" "furry" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "young" "+"))
If Charlie is furry and Charlie is big then Charlie is quiet.
((("Charlie" "is" "furry" "+") ("Charlie" "is" "big" "+")) -> ("Charlie" "is" "quiet" "+"))
Gary is big.
True
1
proof
[(triple5)]
("Gary" "is" "big" "+")
triple5
Anne is not quiet.
False
1
inv-proof
[(triple1)]
("Anne" "is" "quiet" "-")
triple1
Anne is not young.
Unknown
inv-rconc
[@1: Anne is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "young" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
@0: Anne is quiet.[(triple1)] Charlie is quiet.[(triple2)] Charlie is round.[(triple3)] Charlie is young.[(triple4)] Gary is big.[(triple5)] Gary is cold.[(triple6)] Gary is furry.[(triple7)] Gary is quiet.[(triple8)] Gary is round.[(triple9)] Gary is young.[(triple10 OR ((triple7 triple8) -> rule1))]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple6
Gary is furry.
("Gary" "is" "furry" "+")
triple7
Gary is quiet.
("Gary" "is" "quiet" "+")
triple8
Gary is round.
("Gary" "is" "round" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10
((triple7 triple8) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1