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