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