Dave is big. Dave is furry. Dave is red. Dave is white. Dave is young. Erin is furry. Erin is white. Erin is not young. Gary is big. Gary is red. If someone is nice then they are not round. If Gary is red then Gary is furry.
Dave is big.
("Dave" "is" "big" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is not young.
("Erin" "is" "young" "-")
Gary is big.
("Gary" "is" "big" "+")
Gary is red.
("Gary" "is" "red" "+")
If someone is nice then they are not round.
((("someone" "is" "nice" "+")) -> ("someone" "is" "round" "-"))
If Gary is red then Gary is furry.
((("Gary" "is" "red" "+")) -> ("Gary" "is" "furry" "+"))
Dave is furry.
True
1
proof
[(triple2)]
("Dave" "is" "furry" "+")
triple2
Erin is not furry.
False
1
inv-proof
[(triple6)]
("Erin" "is" "furry" "-")
triple6
Gary is furry.
True
2
proof
[(((triple10) -> rule2))]
("Gary" "is" "furry" "+")
((triple10) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is not furry.
False
2
inv-proof
[(((triple10) -> rule2))]
("Gary" "is" "furry" "-")
((triple10) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is not white.
Unknown
inv-random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Dave is big.[(triple1)] Dave is furry.[(triple2)] Dave is red.[(triple3)] Dave is white.[(triple4)] Dave is young.[(triple5)] Erin is furry.[(triple6)] Erin is not young.[(triple8)] Erin is white.[(triple7)] Gary is big.[(triple9)] Gary is red.[(triple10)] @1: Gary is furry.[(((triple10) -> rule2))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is furry.
("Dave" "is" "furry" "+")
triple2
Dave is red.
("Dave" "is" "red" "+")
triple3
Dave is white.
("Dave" "is" "white" "+")
triple4
Dave is young.
("Dave" "is" "young" "+")
triple5
Erin is furry.
("Erin" "is" "furry" "+")
triple6
Erin is not young.
("Erin" "is" "young" "-")
triple8
Erin is white.
("Erin" "is" "white" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple10
Gary is furry.
("Gary" "is" "furry" "+")
((triple10) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1