Charlie is big. Charlie is not furry. Charlie is green. Charlie is kind. Charlie is nice. Charlie is not quiet. Charlie is not smart. Harry is big. Harry is furry. Harry is not green. Harry is kind. Harry is nice. Harry is quiet. Harry is smart. If someone is kind and not nice then they are furry. If Harry is quiet and Harry is green then Harry is kind.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is not furry.
("Charlie" "is" "furry" "-")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
Charlie is not smart.
("Charlie" "is" "smart" "-")
Harry is big.
("Harry" "is" "big" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is not green.
("Harry" "is" "green" "-")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If someone is kind and not nice then they are furry.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "furry" "+"))
If Harry is quiet and Harry is green then Harry is kind.
((("Harry" "is" "quiet" "+") ("Harry" "is" "green" "+")) -> ("Harry" "is" "kind" "+"))
Charlie is not furry.
True
1
proof
[(triple2)]
("Charlie" "is" "furry" "-")
triple2
Charlie is furry.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "furry" "+")
triple2
@0: Charlie is big.[(triple1)] Charlie is green.[(triple3)] Charlie is kind.[(triple4)] Charlie is nice.[(triple5)] Charlie is not furry.[(triple2)] Charlie is not quiet.[(triple6)] Charlie is not smart.[(triple7)] Harry is big.[(triple8)] Harry is furry.[(triple9)] Harry is kind.[(triple11)] Harry is nice.[(triple12)] Harry is not green.[(triple10)] Harry is quiet.[(triple13)] Harry is smart.[(triple14)]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
Charlie is not furry.
("Charlie" "is" "furry" "-")
triple2
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
triple6
Charlie is not smart.
("Charlie" "is" "smart" "-")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple8
Harry is furry.
("Harry" "is" "furry" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Harry is nice.
("Harry" "is" "nice" "+")
triple12
Harry is not green.
("Harry" "is" "green" "-")
triple10
Harry is quiet.
("Harry" "is" "quiet" "+")
triple13
Harry is smart.
("Harry" "is" "smart" "+")
triple14