Anne is nice. Charlie is blue. Erin is blue. Fiona is round. If something is blue and quiet then it is nice. Nice, smart things are not cold. All nice things are cold. All blue, red things are not quiet. All red things are round. All red things are not round. Blue things are not round. If something is red and not quiet then it is not round.
Anne is nice.
("Anne" "is" "nice" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Fiona is round.
("Fiona" "is" "round" "+")
If something is blue and quiet then it is nice.
((("something" "is" "blue" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "nice" "+"))
Nice, smart things are not cold.
((("something" "is" "nice" "+") ("something" "is" "smart" "+")) -> ("something" "is" "cold" "-"))
All nice things are cold.
((("something" "is" "nice" "+")) -> ("something" "is" "cold" "+"))
All blue, red things are not quiet.
((("something" "is" "blue" "+") ("something" "is" "red" "+")) -> ("something" "is" "quiet" "-"))
All red things are round.
((("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
All red things are not round.
((("something" "is" "red" "+")) -> ("something" "is" "round" "-"))
Blue things are not round.
((("something" "is" "blue" "+")) -> ("something" "is" "round" "-"))
If something is red and not quiet then it is not round.
((("something" "is" "red" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "round" "-"))
Erin is blue.
True
1
proof
[(triple3)]
("Erin" "is" "blue" "+")
triple3
Erin is not blue.
False
1
inv-proof
[(triple3)]
("Erin" "is" "blue" "-")
triple3
Charlie is not nice.
Unknown
inv-rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "nice" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Anne is nice.[(triple1)] Charlie is blue.[(triple2)] Erin is blue.[(triple3)] Fiona is round.[(triple4)] @1: Anne is cold.[(((triple1) -> rule3))] Charlie is not round.[(((triple2) -> rule7))] Erin is not round.[(((triple3) -> rule7))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
Erin is blue.
("Erin" "is" "blue" "+")
triple3
Fiona is round.
("Fiona" "is" "round" "+")
triple4
Anne is cold.
("Anne" "is" "cold" "+")
((triple1) -> (rule3 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Charlie is not round.
("Charlie" "is" "round" "-")
((triple2) -> (rule7 % int1))
Charlie is not round.
("Charlie" "is" "round" "-")
int1
Erin is not round.
("Erin" "is" "round" "-")
((triple3) -> (rule7 % int1))
Erin is not round.
("Erin" "is" "round" "-")
int1