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