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