Anne is big. Anne is blue. Anne is cold. Anne is furry. Anne is kind. Anne is red. Anne is white. Dave is big. Dave is blue. Dave is cold. Dave is furry. Dave is kind. Dave is red. Dave is white. Furry people are big.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is white.
("Anne" "is" "white" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is white.
("Dave" "is" "white" "+")
Furry people are big.
((("someone" "is" "furry" "+")) -> ("someone" "is" "big" "+"))
Dave is cold.
True
1
proof
[(triple10)]
("Dave" "is" "cold" "+")
triple10
Dave is not furry.
False
1
inv-proof
[(triple11)]
("Dave" "is" "furry" "-")
triple11
@0: Anne is big.[(triple1 OR ((triple4) -> rule1))] Anne is blue.[(triple2)] Anne is cold.[(triple3)] Anne is furry.[(triple4)] Anne is kind.[(triple5)] Anne is red.[(triple6)] Anne is white.[(triple7)] Dave is big.[(triple8 OR ((triple11) -> rule1))] Dave is blue.[(triple9)] Dave is cold.[(triple10)] Dave is furry.[(triple11)] Dave is kind.[(triple12)] Dave is red.[(triple13)] Dave is white.[(triple14)]
Anne is big.
("Anne" "is" "big" "+")
triple1
((triple4) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
Anne is cold.
("Anne" "is" "cold" "+")
triple3
Anne is furry.
("Anne" "is" "furry" "+")
triple4
Anne is kind.
("Anne" "is" "kind" "+")
triple5
Anne is red.
("Anne" "is" "red" "+")
triple6
Anne is white.
("Anne" "is" "white" "+")
triple7
Dave is big.
("Dave" "is" "big" "+")
triple8
((triple11) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
triple9
Dave is cold.
("Dave" "is" "cold" "+")
triple10
Dave is furry.
("Dave" "is" "furry" "+")
triple11
Dave is kind.
("Dave" "is" "kind" "+")
triple12
Dave is red.
("Dave" "is" "red" "+")
triple13
Dave is white.
("Dave" "is" "white" "+")
triple14