Charlie is kind. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is round. Dave is green. Dave is kind. Dave is quiet. Dave is rough. Dave is round. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is round. If someone is furry and not green then they are not quiet. All furry people are red. If someone is quiet and not round then they are rough.
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is round.
("Dave" "is" "round" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
If someone is furry and not green then they are not quiet.
((("someone" "is" "furry" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "quiet" "-"))
All furry people are red.
((("someone" "is" "furry" "+")) -> ("someone" "is" "red" "+"))
If someone is quiet and not round then they are rough.
((("someone" "is" "quiet" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "rough" "+"))
Charlie is kind.
True
1
proof
[(triple1)]
("Charlie" "is" "kind" "+")
triple1
Fiona is not rough.
False
1
inv-proof
[(triple15)]
("Fiona" "is" "rough" "-")
triple15
Dave is not red.
Unknown
inv-rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "red" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
@0: Charlie is kind.[(triple1)] Charlie is quiet.[(triple2)] Charlie is red.[(triple3)] Charlie is rough.[(triple4)] Charlie is round.[(triple5)] Dave is green.[(triple6)] Dave is kind.[(triple7)] Dave is quiet.[(triple8)] Dave is rough.[(triple9)] Dave is round.[(triple10)] Fiona is green.[(triple11)] Fiona is kind.[(triple12)] Fiona is quiet.[(triple13)] Fiona is red.[(triple14)] Fiona is rough.[(triple15)] Fiona is round.[(triple16)]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Dave is green.
("Dave" "is" "green" "+")
triple6
Dave is kind.
("Dave" "is" "kind" "+")
triple7
Dave is quiet.
("Dave" "is" "quiet" "+")
triple8
Dave is rough.
("Dave" "is" "rough" "+")
triple9
Dave is round.
("Dave" "is" "round" "+")
triple10
Fiona is green.
("Fiona" "is" "green" "+")
triple11
Fiona is kind.
("Fiona" "is" "kind" "+")
triple12
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple13
Fiona is red.
("Fiona" "is" "red" "+")
triple14
Fiona is rough.
("Fiona" "is" "rough" "+")
triple15
Fiona is round.
("Fiona" "is" "round" "+")
triple16