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