Erin is furry. Erin is red. Erin is round. Erin is white. Erin is young. Gary is furry. Gary is red. Gary is round. Gary is young. Harry is cold. Harry is furry. Harry is kind. Harry is red. Harry is round. Harry is not white. Harry is not young. If something is round and cold then it is not young. All cold things are red. If something is round then it is kind.
Erin is furry.
("Erin" "is" "furry" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is not white.
("Harry" "is" "white" "-")
Harry is not young.
("Harry" "is" "young" "-")
If something is round and cold then it is not young.
((("something" "is" "round" "+") ("something" "is" "cold" "+")) -> ("something" "is" "young" "-"))
All cold things are red.
((("something" "is" "cold" "+")) -> ("something" "is" "red" "+"))
If something is round then it is kind.
((("something" "is" "round" "+")) -> ("something" "is" "kind" "+"))
Erin is white.
True
1
proof
[(triple4)]
("Erin" "is" "white" "+")
triple4
Gary is not furry.
False
1
inv-proof
[(triple6)]
("Gary" "is" "furry" "-")
triple6
Erin is not cold.
Unknown
inv-random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "-")
Gary is white.
Unknown
random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "+")
@0: Erin is furry.[(triple1)] Erin is red.[(triple2)] Erin is round.[(triple3)] Erin is white.[(triple4)] Erin is young.[(triple5)] Gary is furry.[(triple6)] Gary is red.[(triple7)] Gary is round.[(triple8)] Gary is young.[(triple9)] Harry is cold.[(triple10)] Harry is furry.[(triple11)] Harry is kind.[(triple12 OR ((triple14) -> rule3))] Harry is not white.[(triple15)] Harry is not young.[(triple16 OR ((triple14 triple10) -> rule1))] Harry is red.[(triple13 OR ((triple10) -> rule2))] Harry is round.[(triple14)] @1: Erin is kind.[(((triple3) -> rule3))] Gary is kind.[(((triple8) -> rule3))]
Erin is furry.
("Erin" "is" "furry" "+")
triple1
Erin is red.
("Erin" "is" "red" "+")
triple2
Erin is round.
("Erin" "is" "round" "+")
triple3
Erin is white.
("Erin" "is" "white" "+")
triple4
Erin is young.
("Erin" "is" "young" "+")
triple5
Gary is furry.
("Gary" "is" "furry" "+")
triple6
Gary is red.
("Gary" "is" "red" "+")
triple7
Gary is round.
("Gary" "is" "round" "+")
triple8
Gary is young.
("Gary" "is" "young" "+")
triple9
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is furry.
("Harry" "is" "furry" "+")
triple11
Harry is kind.
("Harry" "is" "kind" "+")
triple12
((triple14) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is not white.
("Harry" "is" "white" "-")
triple15
Harry is not young.
("Harry" "is" "young" "-")
triple16
((triple14 triple10) -> (rule1 % int1))
Harry is not young.
("Harry" "is" "young" "-")
int1
Harry is red.
("Harry" "is" "red" "+")
triple13
((triple10) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
triple14
Erin is kind.
("Erin" "is" "kind" "+")
((triple3) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((triple8) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1