Anne is blue. Anne is furry. Anne is quiet. Charlie is furry. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is young. Gary is red. Harry is young. Furry, red things are young. All quiet things are young.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Gary is red.
("Gary" "is" "red" "+")
Harry is young.
("Harry" "is" "young" "+")
Furry, red things are young.
((("something" "is" "furry" "+") ("something" "is" "red" "+")) -> ("something" "is" "young" "+"))
All quiet things are young.
((("something" "is" "quiet" "+")) -> ("something" "is" "young" "+"))
Anne is quiet.
True
1
proof
[(triple3)]
("Anne" "is" "quiet" "+")
triple3
Gary is not red.
False
1
inv-proof
[(triple9)]
("Gary" "is" "red" "-")
triple9
Anne is young.
True
2
proof
[(((triple3) -> rule2))]
("Anne" "is" "young" "+")
((triple3) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is not young.
False
2
inv-proof
[(((triple3) -> rule2))]
("Anne" "is" "young" "-")
((triple3) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "young" "-")
Gary is quiet.
Unknown
random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "+")
Anne is not kind.
Unknown
inv-random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is quiet.[(triple3)] Charlie is furry.[(triple4)] Charlie is green.[(triple5)] Charlie is kind.[(triple6)] Charlie is quiet.[(triple7)] Charlie is young.[(triple8 OR ((triple7) -> rule2))] Gary is red.[(triple9)] Harry is young.[(triple10)] @1: Anne is young.[(((triple3) -> rule2))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Charlie is furry.
("Charlie" "is" "furry" "+")
triple4
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple7
Charlie is young.
("Charlie" "is" "young" "+")
triple8
((triple7) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple10
Anne is young.
("Anne" "is" "young" "+")
((triple3) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1