Anne is big. Anne is furry. Anne is green. Anne is not quiet. Anne is red. Anne is round. Anne is white. Harry is big. Harry is not furry. Harry is green. Harry is not quiet. Harry is red. Harry is round. Harry is white. All big things are white.
Anne is big.
("Anne" "is" "big" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is not quiet.
("Anne" "is" "quiet" "-")
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is not furry.
("Harry" "is" "furry" "-")
Harry is green.
("Harry" "is" "green" "+")
Harry is not quiet.
("Harry" "is" "quiet" "-")
Harry is red.
("Harry" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is white.
("Harry" "is" "white" "+")
All big things are white.
((("something" "is" "big" "+")) -> ("something" "is" "white" "+"))
Anne is red.
True
1
proof
[(triple5)]
("Anne" "is" "red" "+")
triple5
Anne is not round.
False
1
inv-proof
[(triple6)]
("Anne" "is" "round" "-")
triple6
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is not quiet.[(triple4)] Anne is red.[(triple5)] Anne is round.[(triple6)] Anne is white.[(triple7 OR ((triple1) -> rule1))] Harry is big.[(triple8)] Harry is green.[(triple10)] Harry is not furry.[(triple9)] Harry is not quiet.[(triple11)] Harry is red.[(triple12)] Harry is round.[(triple13)] Harry is white.[(triple14 OR ((triple8) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is green.
("Anne" "is" "green" "+")
triple3
Anne is not quiet.
("Anne" "is" "quiet" "-")
triple4
Anne is red.
("Anne" "is" "red" "+")
triple5
Anne is round.
("Anne" "is" "round" "+")
triple6
Anne is white.
("Anne" "is" "white" "+")
triple7
((triple1) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple10
Harry is not furry.
("Harry" "is" "furry" "-")
triple9
Harry is not quiet.
("Harry" "is" "quiet" "-")
triple11
Harry is red.
("Harry" "is" "red" "+")
triple12
Harry is round.
("Harry" "is" "round" "+")
triple13
Harry is white.
("Harry" "is" "white" "+")
triple14
((triple8) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1