Anne is big. Anne is blue. Anne is cold. Anne is nice. Anne is not red. Anne is not white. Erin is big. Erin is blue. Erin is cold. Erin is nice. Erin is red. Fiona is not big. Fiona is blue. Fiona is cold. Fiona is red. If something is young then it is cold. All young, white things are cold. Big, young things are red. If something is big and white then it is red. Young things are big. All red things are nice. If Fiona is cold and Fiona is not white then Fiona is red. If Erin is red then Erin is big.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is not red.
("Anne" "is" "red" "-")
Anne is not white.
("Anne" "is" "white" "-")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is red.
("Fiona" "is" "red" "+")
If something is young then it is cold.
((("something" "is" "young" "+")) -> ("something" "is" "cold" "+"))
All young, white things are cold.
((("something" "is" "young" "+") ("something" "is" "white" "+")) -> ("something" "is" "cold" "+"))
Big, young things are red.
((("something" "is" "big" "+") ("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
If something is big and white then it is red.
((("something" "is" "big" "+") ("something" "is" "white" "+")) -> ("something" "is" "red" "+"))
Young things are big.
((("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
All red things are nice.
((("something" "is" "red" "+")) -> ("something" "is" "nice" "+"))
If Fiona is cold and Fiona is not white then Fiona is red.
((("Fiona" "is" "cold" "+") ("Fiona" "is" "white" "~")) -> ("Fiona" "is" "red" "+"))
If Erin is red then Erin is big.
((("Erin" "is" "red" "+")) -> ("Erin" "is" "big" "+"))
Erin is blue.
True
1
proof
[(triple8)]
("Erin" "is" "blue" "+")
triple8
Anne is not blue.
False
1
inv-proof
[(triple2)]
("Anne" "is" "blue" "-")
triple2
Erin is not white.
Unknown
inv-random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is cold.[(triple3)] Anne is nice.[(triple4)] Anne is not red.[(triple5)] Anne is not white.[(triple6)] Erin is big.[(triple7 OR ((triple11) -> rule8))] Erin is blue.[(triple8)] Erin is cold.[(triple9)] Erin is nice.[(triple10 OR ((triple11) -> rule6))] Erin is red.[(triple11)] Fiona is blue.[(triple13)] Fiona is cold.[(triple14)] Fiona is not big.[(triple12)] Fiona is red.[(triple15)] @1: Fiona is nice.[(((triple15) -> rule6))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
Anne is cold.
("Anne" "is" "cold" "+")
triple3
Anne is nice.
("Anne" "is" "nice" "+")
triple4
Anne is not red.
("Anne" "is" "red" "-")
triple5
Anne is not white.
("Anne" "is" "white" "-")
triple6
Erin is big.
("Erin" "is" "big" "+")
triple7
((triple11) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
triple8
Erin is cold.
("Erin" "is" "cold" "+")
triple9
Erin is nice.
("Erin" "is" "nice" "+")
triple10
((triple11) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
triple11
Fiona is blue.
("Fiona" "is" "blue" "+")
triple13
Fiona is cold.
("Fiona" "is" "cold" "+")
triple14
Fiona is not big.
("Fiona" "is" "big" "-")
triple12
Fiona is red.
("Fiona" "is" "red" "+")
triple15
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple15) -> (rule6 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1