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