Dave is big. Dave is kind. Dave is quiet. Dave is white. Erin is kind. Erin is quiet. Erin is round. Gary is furry. Gary is kind. Gary is quiet. Gary is round. Gary is white. If Erin is round and Erin is white then Erin is quiet. All round things are quiet.
Dave is big.
("Dave" "is" "big" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is round.
("Erin" "is" "round" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
If Erin is round and Erin is white then Erin is quiet.
((("Erin" "is" "round" "+") ("Erin" "is" "white" "+")) -> ("Erin" "is" "quiet" "+"))
All round things are quiet.
((("something" "is" "round" "+")) -> ("something" "is" "quiet" "+"))
Erin is round.
True
1
proof
[(triple7)]
("Erin" "is" "round" "+")
triple7
Dave is not white.
False
1
inv-proof
[(triple4)]
("Dave" "is" "white" "-")
triple4
Erin is not nice.
Unknown
inv-random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
@0: Dave is big.[(triple1)] Dave is kind.[(triple2)] Dave is quiet.[(triple3)] Dave is white.[(triple4)] Erin is kind.[(triple5)] Erin is quiet.[(triple6 OR ((triple7) -> rule2))] Erin is round.[(triple7)] Gary is furry.[(triple8)] Gary is kind.[(triple9)] Gary is quiet.[(triple10 OR ((triple11) -> rule2))] Gary is round.[(triple11)] Gary is white.[(triple12)]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Dave is quiet.
("Dave" "is" "quiet" "+")
triple3
Dave is white.
("Dave" "is" "white" "+")
triple4
Erin is kind.
("Erin" "is" "kind" "+")
triple5
Erin is quiet.
("Erin" "is" "quiet" "+")
triple6
((triple7) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
triple7
Gary is furry.
("Gary" "is" "furry" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is quiet.
("Gary" "is" "quiet" "+")
triple10
((triple11) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
triple11
Gary is white.
("Gary" "is" "white" "+")
triple12