Charlie is blue. Charlie is green. Charlie is not round. Fiona is not big. Fiona is blue. Fiona is cold. Fiona is not green. Fiona is quiet. Fiona is round. Fiona is white. If Charlie is not cold then Charlie is blue. If something is big and not white then it is blue. All white, big things are blue. If Charlie is cold then Charlie is big. Green, white things are quiet. If something is quiet and not cold then it is big. Cold things are not big. If Fiona is round and Fiona is not quiet then Fiona is blue.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is not round.
("Charlie" "is" "round" "-")
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If Charlie is not cold then Charlie is blue.
((("Charlie" "is" "cold" "~")) -> ("Charlie" "is" "blue" "+"))
If something is big and not white then it is blue.
((("something" "is" "big" "+") ("something" "is" "white" "~")) -> ("something" "is" "blue" "+"))
All white, big things are blue.
((("something" "is" "white" "+") ("something" "is" "big" "+")) -> ("something" "is" "blue" "+"))
If Charlie is cold then Charlie is big.
((("Charlie" "is" "cold" "+")) -> ("Charlie" "is" "big" "+"))
Green, white things are quiet.
((("something" "is" "green" "+") ("something" "is" "white" "+")) -> ("something" "is" "quiet" "+"))
If something is quiet and not cold then it is big.
((("something" "is" "quiet" "+") ("something" "is" "cold" "~")) -> ("something" "is" "big" "+"))
Cold things are not big.
((("something" "is" "cold" "+")) -> ("something" "is" "big" "-"))
If Fiona is round and Fiona is not quiet then Fiona is blue.
((("Fiona" "is" "round" "+") ("Fiona" "is" "quiet" "~")) -> ("Fiona" "is" "blue" "+"))
Charlie is green.
True
1
proof
[(triple2)]
("Charlie" "is" "green" "+")
triple2
Charlie is not blue.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "blue" "-")
triple1
Charlie is not quiet.
Unknown
inv-rconc
[@1: Charlie is quiet.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "quiet" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
@0: Charlie is blue.[(triple1)] Charlie is green.[(triple2)] Charlie is not round.[(triple3)] Fiona is blue.[(triple5)] Fiona is cold.[(triple6)] Fiona is not big.[(triple4 OR ((triple6) -> rule7))] Fiona is not green.[(triple7)] Fiona is quiet.[(triple8)] Fiona is round.[(triple9)] Fiona is white.[(triple10)]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is not round.
("Charlie" "is" "round" "-")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple5
Fiona is cold.
("Fiona" "is" "cold" "+")
triple6
Fiona is not big.
("Fiona" "is" "big" "-")
triple4
((triple6) -> (rule7 % int1))
Fiona is not big.
("Fiona" "is" "big" "-")
int1
Fiona is not green.
("Fiona" "is" "green" "-")
triple7
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple8
Fiona is round.
("Fiona" "is" "round" "+")
triple9
Fiona is white.
("Fiona" "is" "white" "+")
triple10