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