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