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