Gary is big. Gary is furry. Gary is kind. Gary is nice. Gary is rough. Gary is white. Harry is big. Harry is kind. Harry is nice. Harry is not red. Harry is rough. Harry is white. All white, rough things are furry.
Gary is big.
("Gary" "is" "big" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is not red.
("Harry" "is" "red" "-")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is white.
("Harry" "is" "white" "+")
All white, rough things are furry.
((("something" "is" "white" "+") ("something" "is" "rough" "+")) -> ("something" "is" "furry" "+"))
Harry is rough.
True
1
proof
[(triple11)]
("Harry" "is" "rough" "+")
triple11
Gary is not big.
False
1
inv-proof
[(triple1)]
("Gary" "is" "big" "-")
triple1
Harry is furry.
True
3
proof
[(((triple12 triple11) -> rule1))]
("Harry" "is" "furry" "+")
((triple12 triple11) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is not furry.
False
3
inv-proof
[(((triple12 triple11) -> rule1))]
("Harry" "is" "furry" "-")
((triple12 triple11) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
@0: Gary is big.[(triple1)] Gary is furry.[(triple2 OR ((triple6 triple5) -> rule1))] Gary is kind.[(triple3)] Gary is nice.[(triple4)] Gary is rough.[(triple5)] Gary is white.[(triple6)] Harry is big.[(triple7)] Harry is kind.[(triple8)] Harry is nice.[(triple9)] Harry is not red.[(triple10)] Harry is rough.[(triple11)] Harry is white.[(triple12)] @1: Harry is furry.[(((triple12 triple11) -> rule1))]
Gary is big.
("Gary" "is" "big" "+")
triple1
Gary is furry.
("Gary" "is" "furry" "+")
triple2
((triple6 triple5) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
triple3
Gary is nice.
("Gary" "is" "nice" "+")
triple4
Gary is rough.
("Gary" "is" "rough" "+")
triple5
Gary is white.
("Gary" "is" "white" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple7
Harry is kind.
("Harry" "is" "kind" "+")
triple8
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is not red.
("Harry" "is" "red" "-")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple11
Harry is white.
("Harry" "is" "white" "+")
triple12
Harry is furry.
("Harry" "is" "furry" "+")
((triple12 triple11) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1