Gary is big. Gary is furry. Gary is not green. Gary is kind. Gary is quiet. Gary is not rough. Gary is young. Harry is big. Harry is furry. Harry is green. Harry is kind. Harry is quiet. Harry is not rough. Harry is young. If Harry is furry then Harry is green.
Gary is big.
("Gary" "is" "big" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is not green.
("Gary" "is" "green" "-")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is not rough.
("Gary" "is" "rough" "-")
Gary is young.
("Gary" "is" "young" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is not rough.
("Harry" "is" "rough" "-")
Harry is young.
("Harry" "is" "young" "+")
If Harry is furry then Harry is green.
((("Harry" "is" "furry" "+")) -> ("Harry" "is" "green" "+"))
Gary is young.
True
1
proof
[(triple7)]
("Gary" "is" "young" "+")
triple7
Harry is not young.
False
1
inv-proof
[(triple14)]
("Harry" "is" "young" "-")
triple14
@0: Gary is big.[(triple1)] Gary is furry.[(triple2)] Gary is kind.[(triple4)] Gary is not green.[(triple3)] Gary is not rough.[(triple6)] Gary is quiet.[(triple5)] Gary is young.[(triple7)] Harry is big.[(triple8)] Harry is furry.[(triple9)] Harry is green.[(triple10 OR ((triple9) -> rule1))] Harry is kind.[(triple11)] Harry is not rough.[(triple13)] Harry is quiet.[(triple12)] Harry is young.[(triple14)]
Gary is big.
("Gary" "is" "big" "+")
triple1
Gary is furry.
("Gary" "is" "furry" "+")
triple2
Gary is kind.
("Gary" "is" "kind" "+")
triple4
Gary is not green.
("Gary" "is" "green" "-")
triple3
Gary is not rough.
("Gary" "is" "rough" "-")
triple6
Gary is quiet.
("Gary" "is" "quiet" "+")
triple5
Gary is young.
("Gary" "is" "young" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple8
Harry is furry.
("Harry" "is" "furry" "+")
triple9
Harry is green.
("Harry" "is" "green" "+")
triple10
((triple9) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Harry is not rough.
("Harry" "is" "rough" "-")
triple13
Harry is quiet.
("Harry" "is" "quiet" "+")
triple12
Harry is young.
("Harry" "is" "young" "+")
triple14