Anne is big. Anne is blue. Anne is cold. Anne is red. Anne is white. Erin is blue. Erin is cold. Erin is smart. Erin is not white. Fiona is not big. Fiona is not green. Fiona is red. All white things are blue. All big, green things are red. All blue, smart things are not red. All white, smart things are red. If Anne is not white then Anne is red. If Anne is green and Anne is not white then Anne is big. Big things are cold. If Fiona is big then Fiona is red.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is white.
("Anne" "is" "white" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is not white.
("Erin" "is" "white" "-")
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is red.
("Fiona" "is" "red" "+")
All white things are blue.
((("something" "is" "white" "+")) -> ("something" "is" "blue" "+"))
All big, green things are red.
((("something" "is" "big" "+") ("something" "is" "green" "+")) -> ("something" "is" "red" "+"))
All blue, smart things are not red.
((("something" "is" "blue" "+") ("something" "is" "smart" "+")) -> ("something" "is" "red" "-"))
All white, smart things are red.
((("something" "is" "white" "+") ("something" "is" "smart" "+")) -> ("something" "is" "red" "+"))
If Anne is not white then Anne is red.
((("Anne" "is" "white" "~")) -> ("Anne" "is" "red" "+"))
If Anne is green and Anne is not white then Anne is big.
((("Anne" "is" "green" "+") ("Anne" "is" "white" "~")) -> ("Anne" "is" "big" "+"))
Big things are cold.
((("something" "is" "big" "+")) -> ("something" "is" "cold" "+"))
If Fiona is big then Fiona is red.
((("Fiona" "is" "big" "+")) -> ("Fiona" "is" "red" "+"))
Fiona is not big.
True
1
proof
[(triple10)]
("Fiona" "is" "big" "-")
triple10
Anne is not big.
False
1
inv-proof
[(triple1)]
("Anne" "is" "big" "-")
triple1
Fiona is not cold.
Unknown
inv-rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fiona" "is" "cold" "-")
Anne is green.
Unknown
random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "+")
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple5) -> rule1))] Anne is cold.[(triple3 OR ((triple1) -> rule7))] Anne is red.[(triple4)] Anne is white.[(triple5)] Erin is blue.[(triple6)] Erin is cold.[(triple7)] Erin is not white.[(triple9)] Erin is smart.[(triple8)] Fiona is not big.[(triple10)] Fiona is not green.[(triple11)] Fiona is red.[(triple12)] @1: Erin is not red.[(((triple6 triple8) -> rule3))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
((triple5) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
triple3
((triple1) -> (rule7 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
triple4
Anne is white.
("Anne" "is" "white" "+")
triple5
Erin is blue.
("Erin" "is" "blue" "+")
triple6
Erin is cold.
("Erin" "is" "cold" "+")
triple7
Erin is not white.
("Erin" "is" "white" "-")
triple9
Erin is smart.
("Erin" "is" "smart" "+")
triple8
Fiona is not big.
("Fiona" "is" "big" "-")
triple10
Fiona is not green.
("Fiona" "is" "green" "-")
triple11
Fiona is red.
("Fiona" "is" "red" "+")
triple12
Erin is not red.
("Erin" "is" "red" "-")
((triple6 triple8) -> (rule3 % int1))
Erin is not red.
("Erin" "is" "red" "-")
int1