Dave is cold. Dave is furry. Dave is nice. Dave is young. Gary is big. Gary is cold. Gary is not furry. Gary is nice. Gary is rough. Gary is white. Furry, white people are cold. If someone is rough then they are big. If someone is furry and young then they are rough.
Dave is cold.
("Dave" "is" "cold" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is young.
("Dave" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is not furry.
("Gary" "is" "furry" "-")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is white.
("Gary" "is" "white" "+")
Furry, white people are cold.
((("someone" "is" "furry" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough then they are big.
((("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is furry and young then they are rough.
((("someone" "is" "furry" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Dave is young.
True
1
proof
[(triple4)]
("Dave" "is" "young" "+")
triple4
Dave is not young.
False
1
inv-proof
[(triple4)]
("Dave" "is" "young" "-")
triple4
Dave is rough.
True
3
proof
[(((triple2 triple4) -> rule3))]
("Dave" "is" "rough" "+")
((triple2 triple4) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is not rough.
False
3
inv-proof
[(((triple2 triple4) -> rule3))]
("Dave" "is" "rough" "-")
((triple2 triple4) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
True
4
proof
[(((((triple2 triple4) -> rule3)) -> rule2))]
("Dave" "is" "big" "+")
((((triple2 triple4) -> (rule3 % int2))) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is not big.
False
4
inv-proof
[(((((triple2 triple4) -> rule3)) -> rule2))]
("Dave" "is" "big" "-")
((((triple2 triple4) -> (rule3 % int2))) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Dave is white.
Unknown
random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "+")
@0: Dave is cold.[(triple1)] Dave is furry.[(triple2)] Dave is nice.[(triple3)] Dave is young.[(triple4)] Gary is big.[(triple5 OR ((triple9) -> rule2))] Gary is cold.[(triple6)] Gary is nice.[(triple8)] Gary is not furry.[(triple7)] Gary is rough.[(triple9)] Gary is white.[(triple10)] @1: Dave is rough.[(((triple2 triple4) -> rule3))] @2: Dave is big.[(((((triple2 triple4) -> rule3)) -> rule2))]
Dave is cold.
("Dave" "is" "cold" "+")
triple1
Dave is furry.
("Dave" "is" "furry" "+")
triple2
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Dave is young.
("Dave" "is" "young" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple5
((triple9) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
triple6
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Gary is not furry.
("Gary" "is" "furry" "-")
triple7
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Gary is white.
("Gary" "is" "white" "+")
triple10
Dave is rough.
("Dave" "is" "rough" "+")
((triple2 triple4) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
((((triple2 triple4) -> (rule3 % int2))) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2