Bob is not big. Bob is not cold. Bob is furry. Bob is quiet. Bob is red. Bob is round. Bob is not young. Dave is not big. Dave is cold. Dave is furry. Dave is not quiet. Dave is red. Dave is round. Dave is not young. If Bob is furry and Bob is not red then Bob is young. If someone is quiet and not big then they are not cold.
Bob is not big.
("Bob" "is" "big" "-")
Bob is not cold.
("Bob" "is" "cold" "-")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is not young.
("Bob" "is" "young" "-")
Dave is not big.
("Dave" "is" "big" "-")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is not quiet.
("Dave" "is" "quiet" "-")
Dave is red.
("Dave" "is" "red" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is not young.
("Dave" "is" "young" "-")
If Bob is furry and Bob is not red then Bob is young.
((("Bob" "is" "furry" "+") ("Bob" "is" "red" "~")) -> ("Bob" "is" "young" "+"))
If someone is quiet and not big then they are not cold.
((("someone" "is" "quiet" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "cold" "-"))
Dave is not big.
True
1
proof
[(triple8)]
("Dave" "is" "big" "-")
triple8
Bob is not round.
False
1
inv-proof
[(triple6)]
("Bob" "is" "round" "-")
triple6
@0: Bob is furry.[(triple3)] Bob is not big.[(triple1)] Bob is not cold.[(triple2 OR ((triple4 triple1) -> rule2))] Bob is not young.[(triple7)] Bob is quiet.[(triple4)] Bob is red.[(triple5)] Bob is round.[(triple6)] Dave is cold.[(triple9)] Dave is furry.[(triple10)] Dave is not big.[(triple8)] Dave is not quiet.[(triple11)] Dave is not young.[(triple14)] Dave is red.[(triple12)] Dave is round.[(triple13)]
Bob is furry.
("Bob" "is" "furry" "+")
triple3
Bob is not big.
("Bob" "is" "big" "-")
triple1
Bob is not cold.
("Bob" "is" "cold" "-")
triple2
((triple4 triple1) -> (rule2 % int1))
Bob is not cold.
("Bob" "is" "cold" "-")
int1
Bob is not young.
("Bob" "is" "young" "-")
triple7
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
Bob is red.
("Bob" "is" "red" "+")
triple5
Bob is round.
("Bob" "is" "round" "+")
triple6
Dave is cold.
("Dave" "is" "cold" "+")
triple9
Dave is furry.
("Dave" "is" "furry" "+")
triple10
Dave is not big.
("Dave" "is" "big" "-")
triple8
Dave is not quiet.
("Dave" "is" "quiet" "-")
triple11
Dave is not young.
("Dave" "is" "young" "-")
triple14
Dave is red.
("Dave" "is" "red" "+")
triple12
Dave is round.
("Dave" "is" "round" "+")
triple13