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