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