Anne is big. Anne is blue. Anne is not cold. Anne is not kind. Anne is quiet. Anne is not smart. Anne is white. Harry is big. Harry is blue. Harry is cold. Harry is kind. Harry is quiet. Harry is smart. Harry is white. If Harry is kind and Harry is white then Harry is quiet.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is not cold.
("Anne" "is" "cold" "-")
Anne is not kind.
("Anne" "is" "kind" "-")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is not smart.
("Anne" "is" "smart" "-")
Anne is white.
("Anne" "is" "white" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
If Harry is kind and Harry is white then Harry is quiet.
((("Harry" "is" "kind" "+") ("Harry" "is" "white" "+")) -> ("Harry" "is" "quiet" "+"))
Anne is big.
True
1
proof
[(triple1)]
("Anne" "is" "big" "+")
triple1
Harry is not smart.
False
1
inv-proof
[(triple13)]
("Harry" "is" "smart" "-")
triple13
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is not cold.[(triple3)] Anne is not kind.[(triple4)] Anne is not smart.[(triple6)] Anne is quiet.[(triple5)] Anne is white.[(triple7)] Harry is big.[(triple8)] Harry is blue.[(triple9)] Harry is cold.[(triple10)] Harry is kind.[(triple11)] Harry is quiet.[(triple12 OR ((triple11 triple14) -> rule1))] Harry is smart.[(triple13)] Harry is white.[(triple14)]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
Anne is not cold.
("Anne" "is" "cold" "-")
triple3
Anne is not kind.
("Anne" "is" "kind" "-")
triple4
Anne is not smart.
("Anne" "is" "smart" "-")
triple6
Anne is quiet.
("Anne" "is" "quiet" "+")
triple5
Anne is white.
("Anne" "is" "white" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple8
Harry is blue.
("Harry" "is" "blue" "+")
triple9
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Harry is quiet.
("Harry" "is" "quiet" "+")
triple12
((triple11 triple14) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
triple13
Harry is white.
("Harry" "is" "white" "+")
triple14