Anne is kind. Anne is red. Anne is rough. Erin is green. Erin is red. Fiona is big. Fiona is cold. Fiona is kind. Fiona is red. Fiona is rough. Fiona is round. Harry is big. Harry is green. Harry is red. Harry is round. All cold, kind things are rough. All rough, cold things are big. If something is rough and cold then it is big. If Erin is big and Erin is red then Erin is rough. If Harry is red and Harry is kind then Harry is green. Red things are cold.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is red.
("Erin" "is" "red" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
All cold, kind things are rough.
((("something" "is" "cold" "+") ("something" "is" "kind" "+")) -> ("something" "is" "rough" "+"))
All rough, cold things are big.
((("something" "is" "rough" "+") ("something" "is" "cold" "+")) -> ("something" "is" "big" "+"))
If something is rough and cold then it is big.
((("something" "is" "rough" "+") ("something" "is" "cold" "+")) -> ("something" "is" "big" "+"))
If Erin is big and Erin is red then Erin is rough.
((("Erin" "is" "big" "+") ("Erin" "is" "red" "+")) -> ("Erin" "is" "rough" "+"))
If Harry is red and Harry is kind then Harry is green.
((("Harry" "is" "red" "+") ("Harry" "is" "kind" "+")) -> ("Harry" "is" "green" "+"))
Red things are cold.
((("something" "is" "red" "+")) -> ("something" "is" "cold" "+"))
Anne is red.
True
1
proof
[(triple2)]
("Anne" "is" "red" "+")
triple2
Harry is not round.
False
1
inv-proof
[(triple15)]
("Harry" "is" "round" "-")
triple15
Harry is cold.
True
2
proof
[(((triple14) -> rule6))]
("Harry" "is" "cold" "+")
((triple14) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Erin is not cold.
False
2
inv-proof
[(((triple5) -> rule6))]
("Erin" "is" "cold" "-")
((triple5) -> (rule6 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is not big.
Unknown
inv-rconc
[@4: Erin is big.[CWA. Example of deepest failure = (rule2 <- rule4 <- rule3 <- rule1 <- FAIL)]]
("Erin" "is" "big" "-")
Erin is rough.
Unknown
rconc
[@3: Erin is rough.[CWA. Example of deepest failure = (rule4 <- rule2 <- rule1 <- FAIL)]]
("Erin" "is" "rough" "+")
Erin is not round.
Unknown
inv-random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "-")
Erin is kind.
Unknown
random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "+")
@0: Anne is kind.[(triple1)] Anne is red.[(triple2)] Anne is rough.[(triple3 OR ((((triple2) -> rule6) triple1) -> rule1))] Erin is green.[(triple4)] Erin is red.[(triple5)] Fiona is big.[(triple6 OR ((triple10 triple7) -> rule2) OR ((triple10 triple7) -> rule3) OR ((triple10 ((triple9) -> rule6)) -> rule2) OR ((triple10 ((triple9) -> rule6)) -> rule3) OR ((((triple7 triple8) -> rule1) triple7) -> rule2) OR ((((triple7 triple8) -> rule1) triple7) -> rule3) OR ((((triple7 triple8) -> rule1) ((triple9) -> rule6)) -> rule2) OR ((((triple7 triple8) -> rule1) ((triple9) -> rule6)) -> rule3) OR ((((((triple9) -> rule6) triple8) -> rule1) triple7) -> rule2) OR ((((((triple9) -> rule6) triple8) -> rule1) triple7) -> rule3) OR ((((((triple9) -> rule6) triple8) -> rule1) ((triple9) -> rule6)) -> rule2) OR ((((((triple9) -> rule6) triple8) -> rule1) ((triple9) -> rule6)) -> rule3))] Fiona is cold.[(triple7 OR ((triple9) -> rule6))] Fiona is kind.[(triple8)] Fiona is red.[(triple9)] Fiona is rough.[(triple10 OR ((triple7 triple8) -> rule1) OR ((((triple9) -> rule6) triple8) -> rule1))] Fiona is round.[(triple11)] Harry is big.[(triple12)] Harry is green.[(triple13)] Harry is red.[(triple14)] Harry is round.[(triple15)] @1: Anne is cold.[(((triple2) -> rule6))] Erin is cold.[(((triple5) -> rule6))] Harry is cold.[(((triple14) -> rule6))] @2: Anne is big.[(((triple3 ((triple2) -> rule6)) -> rule2) OR ((triple3 ((triple2) -> rule6)) -> rule3) OR ((((((triple2) -> rule6) triple1) -> rule1) ((triple2) -> rule6)) -> rule2) OR ((((((triple2) -> rule6) triple1) -> rule1) ((triple2) -> rule6)) -> rule3))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
triple3
((((triple2) -> (rule6 % int2)) triple1) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
triple4
Erin is red.
("Erin" "is" "red" "+")
triple5
Fiona is big.
("Fiona" "is" "big" "+")
triple6
((triple10 triple7) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((triple10 triple7) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((triple10 ((triple9) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((triple10 ((triple9) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((((triple7 triple8) -> (rule1 % int2)) triple7) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((triple7 triple8) -> (rule1 % int2)) triple7) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((triple7 triple8) -> (rule1 % int3)) ((triple9) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((triple7 triple8) -> (rule1 % int3)) ((triple9) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((((triple9) -> (rule6 % int3)) triple8) -> (rule1 % int2)) triple7) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((((triple9) -> (rule6 % int3)) triple8) -> (rule1 % int2)) triple7) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((((triple9) -> (rule6 % int3)) triple8) -> (rule1 % int2)) ((triple9) -> (rule6 % int3))) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((((triple9) -> (rule6 % int3)) triple8) -> (rule1 % int2)) ((triple9) -> (rule6 % int3))) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
triple7
((triple9) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
Fiona is red.
("Fiona" "is" "red" "+")
triple9
Fiona is rough.
("Fiona" "is" "rough" "+")
triple10
((triple7 triple8) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((((triple9) -> (rule6 % int2)) triple8) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
triple11
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is green.
("Harry" "is" "green" "+")
triple13
Harry is red.
("Harry" "is" "red" "+")
triple14
Harry is round.
("Harry" "is" "round" "+")
triple15
Anne is cold.
("Anne" "is" "cold" "+")
((triple2) -> (rule6 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
((triple5) -> (rule6 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((triple14) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
((triple3 ((triple2) -> (rule6 % int2))) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((triple3 ((triple2) -> (rule6 % int2))) -> (rule3 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((((triple2) -> (rule6 % int3)) triple1) -> (rule1 % int2)) ((triple2) -> (rule6 % int3))) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((((triple2) -> (rule6 % int3)) triple1) -> (rule1 % int2)) ((triple2) -> (rule6 % int3))) -> (rule3 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3