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