Bob is big. Bob is quiet. Bob is round. Dave is furry. Dave is green. Dave is quiet. Dave is round. Erin is furry. Erin is quiet. Erin is rough. Erin is round. Erin is young. Gary is big. Gary is green. Gary is rough. Furry, big people are quiet.
Bob is big.
("Bob" "is" "big" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is round.
("Bob" "is" "round" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is round.
("Dave" "is" "round" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Furry, big people are quiet.
((("someone" "is" "furry" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "quiet" "+"))
Dave is quiet.
True
1
proof
[(triple6)]
("Dave" "is" "quiet" "+")
triple6
Bob is not big.
False
1
inv-proof
[(triple1)]
("Bob" "is" "big" "-")
triple1
Gary is not quiet.
Unknown
inv-rconc
[@1: Gary is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "quiet" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Bob is big.[(triple1)] Bob is quiet.[(triple2)] Bob is round.[(triple3)] Dave is furry.[(triple4)] Dave is green.[(triple5)] Dave is quiet.[(triple6)] Dave is round.[(triple7)] Erin is furry.[(triple8)] Erin is quiet.[(triple9)] Erin is rough.[(triple10)] Erin is round.[(triple11)] Erin is young.[(triple12)] Gary is big.[(triple13)] Gary is green.[(triple14)] Gary is rough.[(triple15)]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple3
Dave is furry.
("Dave" "is" "furry" "+")
triple4
Dave is green.
("Dave" "is" "green" "+")
triple5
Dave is quiet.
("Dave" "is" "quiet" "+")
triple6
Dave is round.
("Dave" "is" "round" "+")
triple7
Erin is furry.
("Erin" "is" "furry" "+")
triple8
Erin is quiet.
("Erin" "is" "quiet" "+")
triple9
Erin is rough.
("Erin" "is" "rough" "+")
triple10
Erin is round.
("Erin" "is" "round" "+")
triple11
Erin is young.
("Erin" "is" "young" "+")
triple12
Gary is big.
("Gary" "is" "big" "+")
triple13
Gary is green.
("Gary" "is" "green" "+")
triple14
Gary is rough.
("Gary" "is" "rough" "+")
triple15