Anne is green. Anne is nice. Anne is round. Bob is big. Bob is furry. Bob is nice. Gary is big. Gary is furry. Gary is green. Gary is nice. Gary is red. Gary is round. All nice people are red. Red people are round. If Gary is nice then Gary is young.
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is round.
("Anne" "is" "round" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
All nice people are red.
((("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
Red people are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If Gary is nice then Gary is young.
((("Gary" "is" "nice" "+")) -> ("Gary" "is" "young" "+"))
Gary is big.
True
1
proof
[(triple7)]
("Gary" "is" "big" "+")
triple7
Bob is not nice.
False
1
inv-proof
[(triple6)]
("Bob" "is" "nice" "-")
triple6
Gary is young.
True
2
proof
[(((triple10) -> rule3))]
("Gary" "is" "young" "+")
((triple10) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Anne is not red.
False
2
inv-proof
[(((triple2) -> rule1))]
("Anne" "is" "red" "-")
((triple2) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Bob is round.
True
3
proof
[(((((triple6) -> rule1)) -> rule2))]
("Bob" "is" "round" "+")
((((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is not round.
False
3
inv-proof
[(((((triple6) -> rule1)) -> rule2))]
("Bob" "is" "round" "-")
((((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Anne is not furry.
Unknown
inv-random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Anne is young.
Unknown
random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "+")
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is round.[(triple3 OR ((((triple2) -> rule1)) -> rule2))] Bob is big.[(triple4)] Bob is furry.[(triple5)] Bob is nice.[(triple6)] Gary is big.[(triple7)] Gary is furry.[(triple8)] Gary is green.[(triple9)] Gary is nice.[(triple10)] Gary is red.[(triple11 OR ((triple10) -> rule1))] Gary is round.[(triple12 OR ((triple11) -> rule2) OR ((((triple10) -> rule1)) -> rule2))] @1: Anne is red.[(((triple2) -> rule1))] Bob is red.[(((triple6) -> rule1))] Gary is young.[(((triple10) -> rule3))] @2: Bob is round.[(((((triple6) -> rule1)) -> rule2))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is furry.
("Bob" "is" "furry" "+")
triple5
Bob is nice.
("Bob" "is" "nice" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple7
Gary is furry.
("Gary" "is" "furry" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple11
((triple10) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
triple12
((triple11) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((((triple10) -> (rule1 % int2))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
((triple2) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
((triple6) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple10) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2