Anne is cold. Erin is rough. Fiona is big. Fiona is blue. Fiona is cold. Fiona is quiet. Fiona is rough. If something is quiet and furry then it is cold. All rough things are not furry. All furry, rough things are blue. Quiet things are blue. If something is quiet and not cold then it is green. If something is furry then it is big. If something is quiet and not cold then it is not big. If something is rough and not furry then it is big.
Anne is cold.
("Anne" "is" "cold" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
If something is quiet and furry then it is cold.
((("something" "is" "quiet" "+") ("something" "is" "furry" "+")) -> ("something" "is" "cold" "+"))
All rough things are not furry.
((("something" "is" "rough" "+")) -> ("something" "is" "furry" "-"))
All furry, rough things are blue.
((("something" "is" "furry" "+") ("something" "is" "rough" "+")) -> ("something" "is" "blue" "+"))
Quiet things are blue.
((("something" "is" "quiet" "+")) -> ("something" "is" "blue" "+"))
If something is quiet and not cold then it is green.
((("something" "is" "quiet" "+") ("something" "is" "cold" "~")) -> ("something" "is" "green" "+"))
If something is furry then it is big.
((("something" "is" "furry" "+")) -> ("something" "is" "big" "+"))
If something is quiet and not cold then it is not big.
((("something" "is" "quiet" "+") ("something" "is" "cold" "~")) -> ("something" "is" "big" "-"))
If something is rough and not furry then it is big.
((("something" "is" "rough" "+") ("something" "is" "furry" "~")) -> ("something" "is" "big" "+"))
Fiona is quiet.
True
1
proof
[(triple6)]
("Fiona" "is" "quiet" "+")
triple6
Fiona is not cold.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "cold" "-")
triple5
Erin is not furry.
True
2
proof
[(((triple2) -> rule2))]
("Erin" "is" "furry" "-")
((triple2) -> (rule2 % int1))
Erin is not furry.
("Erin" "is" "furry" "-")
int1
Fiona is furry.
False
2
inv-proof
[(((triple7) -> rule2))]
("Fiona" "is" "furry" "+")
((triple7) -> (rule2 % int1))
Fiona is not furry.
("Fiona" "is" "furry" "-")
int1
Erin is not green.
Unknown
inv-rconc
[@1: Erin is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Erin" "is" "green" "-")
Erin is cold.
Unknown
rconc
[@1: Erin is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "cold" "+")
Erin is not quiet.
Unknown
inv-random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
@0: Anne is cold.[(triple1)] Erin is rough.[(triple2)] Fiona is big.[(triple3 OR ((triple7 ((triple7) -> rule2)) -> rule8))] Fiona is blue.[(triple4 OR ((triple6) -> rule4))] Fiona is cold.[(triple5)] Fiona is quiet.[(triple6)] Fiona is rough.[(triple7)] @1: Erin is not furry.[(((triple2) -> rule2))] Fiona is not furry.[(((triple7) -> rule2))] @2: Erin is big.[(((triple2 ((triple2) -> rule2)) -> rule8))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Erin is rough.
("Erin" "is" "rough" "+")
triple2
Fiona is big.
("Fiona" "is" "big" "+")
triple3
((triple7 ((triple7) -> (rule2 % int2))) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is not furry.
("Fiona" "is" "furry" "-")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
triple4
((triple6) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple6
Fiona is rough.
("Fiona" "is" "rough" "+")
triple7
Erin is not furry.
("Erin" "is" "furry" "-")
((triple2) -> (rule2 % int1))
Erin is not furry.
("Erin" "is" "furry" "-")
int1
Fiona is not furry.
("Fiona" "is" "furry" "-")
((triple7) -> (rule2 % int1))
Fiona is not furry.
("Fiona" "is" "furry" "-")
int1
Erin is big.
("Erin" "is" "big" "+")
((triple2 ((triple2) -> (rule2 % int2))) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is not furry.
("Erin" "is" "furry" "-")
int2