Anne is blue. Anne is furry. Anne is rough. Anne is round. Anne is young. Gary is cold. Gary is furry. Gary is green. Gary is rough. Gary is round. If someone is green and rough then they are young.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is young.
("Anne" "is" "young" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
If someone is green and rough then they are young.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
Anne is blue.
True
1
proof
[(triple1)]
("Anne" "is" "blue" "+")
triple1
Anne is not furry.
False
1
inv-proof
[(triple2)]
("Anne" "is" "furry" "-")
triple2
Gary is young.
True
3
proof
[(((triple8 triple9) -> rule1))]
("Gary" "is" "young" "+")
((triple8 triple9) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is not young.
False
3
inv-proof
[(((triple8 triple9) -> rule1))]
("Gary" "is" "young" "-")
((triple8 triple9) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Anne is not green.
Unknown
inv-random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "-")
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 rough.[(triple3)] Anne is round.[(triple4)] Anne is young.[(triple5)] Gary is cold.[(triple6)] Gary is furry.[(triple7)] Gary is green.[(triple8)] Gary is rough.[(triple9)] Gary is round.[(triple10)] @1: Gary is young.[(((triple8 triple9) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
Anne is young.
("Anne" "is" "young" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple6
Gary is furry.
("Gary" "is" "furry" "+")
triple7
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple10
Gary is young.
("Gary" "is" "young" "+")
((triple8 triple9) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1