Anne is big. Anne is blue. Anne is furry. Anne is green. Anne is not kind. Anne is quiet. Anne is rough. Charlie is not big. Charlie is blue. Charlie is furry. Charlie is quiet. Fiona is big. Fiona is furry. Fiona is not kind. Fiona is quiet. Fiona is rough. If Fiona is kind then Fiona is green.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is not kind.
("Anne" "is" "kind" "-")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Charlie is not big.
("Charlie" "is" "big" "-")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is not kind.
("Fiona" "is" "kind" "-")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
If Fiona is kind then Fiona is green.
((("Fiona" "is" "kind" "+")) -> ("Fiona" "is" "green" "+"))
Anne is furry.
True
1
proof
[(triple3)]
("Anne" "is" "furry" "+")
triple3
Charlie is not quiet.
False
1
inv-proof
[(triple11)]
("Charlie" "is" "quiet" "-")
triple11
Fiona is not green.
Unknown
inv-rconc
[@1: Fiona is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "green" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is furry.[(triple3)] Anne is green.[(triple4)] Anne is not kind.[(triple5)] Anne is quiet.[(triple6)] Anne is rough.[(triple7)] Charlie is blue.[(triple9)] Charlie is furry.[(triple10)] Charlie is not big.[(triple8)] Charlie is quiet.[(triple11)] Fiona is big.[(triple12)] Fiona is furry.[(triple13)] Fiona is not kind.[(triple14)] Fiona is quiet.[(triple15)] Fiona is rough.[(triple16)]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
Anne is furry.
("Anne" "is" "furry" "+")
triple3
Anne is green.
("Anne" "is" "green" "+")
triple4
Anne is not kind.
("Anne" "is" "kind" "-")
triple5
Anne is quiet.
("Anne" "is" "quiet" "+")
triple6
Anne is rough.
("Anne" "is" "rough" "+")
triple7
Charlie is blue.
("Charlie" "is" "blue" "+")
triple9
Charlie is furry.
("Charlie" "is" "furry" "+")
triple10
Charlie is not big.
("Charlie" "is" "big" "-")
triple8
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple11
Fiona is big.
("Fiona" "is" "big" "+")
triple12
Fiona is furry.
("Fiona" "is" "furry" "+")
triple13
Fiona is not kind.
("Fiona" "is" "kind" "-")
triple14
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple15
Fiona is rough.
("Fiona" "is" "rough" "+")
triple16