Anne is cold. Anne is furry. Anne is nice. Anne is round. Bob is furry. Bob is kind. Bob is rough. Bob is round. Erin is furry. Erin is kind. Erin is red. Erin is rough. Erin is round. Harry is cold. Harry is rough. Furry, round people are cold. If someone is furry then they are cold.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is round.
("Anne" "is" "round" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Furry, round people are cold.
((("someone" "is" "furry" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is furry then they are cold.
((("someone" "is" "furry" "+")) -> ("someone" "is" "cold" "+"))
Harry is rough.
True
1
proof
[(triple15)]
("Harry" "is" "rough" "+")
triple15
Anne is not round.
False
1
inv-proof
[(triple4)]
("Anne" "is" "round" "-")
triple4
Erin is cold.
True
2
proof
[(((triple9) -> rule2) OR ((triple9 triple13) -> rule1))]
("Erin" "is" "cold" "+")
((triple9) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((triple9 triple13) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Bob is not cold.
False
2
inv-proof
[(((triple5) -> rule2) OR ((triple5 triple8) -> rule1))]
("Bob" "is" "cold" "-")
((triple5) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((triple5 triple8) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Anne is not red.
Unknown
inv-random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
@0: Anne is cold.[(triple1 OR ((triple2) -> rule2) OR ((triple2 triple4) -> rule1))] Anne is furry.[(triple2)] Anne is nice.[(triple3)] Anne is round.[(triple4)] Bob is furry.[(triple5)] Bob is kind.[(triple6)] Bob is rough.[(triple7)] Bob is round.[(triple8)] Erin is furry.[(triple9)] Erin is kind.[(triple10)] Erin is red.[(triple11)] Erin is rough.[(triple12)] Erin is round.[(triple13)] Harry is cold.[(triple14)] Harry is rough.[(triple15)] @1: Bob is cold.[(((triple5) -> rule2) OR ((triple5 triple8) -> rule1))] Erin is cold.[(((triple9) -> rule2) OR ((triple9 triple13) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
((triple2) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((triple2 triple4) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
Bob is furry.
("Bob" "is" "furry" "+")
triple5
Bob is kind.
("Bob" "is" "kind" "+")
triple6
Bob is rough.
("Bob" "is" "rough" "+")
triple7
Bob is round.
("Bob" "is" "round" "+")
triple8
Erin is furry.
("Erin" "is" "furry" "+")
triple9
Erin is kind.
("Erin" "is" "kind" "+")
triple10
Erin is red.
("Erin" "is" "red" "+")
triple11
Erin is rough.
("Erin" "is" "rough" "+")
triple12
Erin is round.
("Erin" "is" "round" "+")
triple13
Harry is cold.
("Harry" "is" "cold" "+")
triple14
Harry is rough.
("Harry" "is" "rough" "+")
triple15
Bob is cold.
("Bob" "is" "cold" "+")
((triple5) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((triple5 triple8) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
((triple9) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((triple9 triple13) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1