Gary is big. Gary is kind. Gary is nice. Gary is quiet. Gary is not red. Gary is white. Harry is not big. Harry is not furry. Harry is nice. Harry is quiet. Harry is red. Harry is white. If something is kind then it is furry.
Gary is big.
("Gary" "is" "big" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is not red.
("Gary" "is" "red" "-")
Gary is white.
("Gary" "is" "white" "+")
Harry is not big.
("Harry" "is" "big" "-")
Harry is not furry.
("Harry" "is" "furry" "-")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is white.
("Harry" "is" "white" "+")
If something is kind then it is furry.
((("something" "is" "kind" "+")) -> ("something" "is" "furry" "+"))
Gary is quiet.
True
1
proof
[(triple4)]
("Gary" "is" "quiet" "+")
triple4
Harry is not nice.
False
1
inv-proof
[(triple9)]
("Harry" "is" "nice" "-")
triple9
Gary is furry.
True
2
proof
[(((triple2) -> rule1))]
("Gary" "is" "furry" "+")
((triple2) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is not furry.
False
2
inv-proof
[(((triple2) -> rule1))]
("Gary" "is" "furry" "-")
((triple2) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
@0: Gary is big.[(triple1)] Gary is kind.[(triple2)] Gary is nice.[(triple3)] Gary is not red.[(triple5)] Gary is quiet.[(triple4)] Gary is white.[(triple6)] Harry is nice.[(triple9)] Harry is not big.[(triple7)] Harry is not furry.[(triple8)] Harry is quiet.[(triple10)] Harry is red.[(triple11)] Harry is white.[(triple12)] @1: Gary is furry.[(((triple2) -> rule1))]
Gary is big.
("Gary" "is" "big" "+")
triple1
Gary is kind.
("Gary" "is" "kind" "+")
triple2
Gary is nice.
("Gary" "is" "nice" "+")
triple3
Gary is not red.
("Gary" "is" "red" "-")
triple5
Gary is quiet.
("Gary" "is" "quiet" "+")
triple4
Gary is white.
("Gary" "is" "white" "+")
triple6
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is not big.
("Harry" "is" "big" "-")
triple7
Harry is not furry.
("Harry" "is" "furry" "-")
triple8
Harry is quiet.
("Harry" "is" "quiet" "+")
triple10
Harry is red.
("Harry" "is" "red" "+")
triple11
Harry is white.
("Harry" "is" "white" "+")
triple12
Gary is furry.
("Gary" "is" "furry" "+")
((triple2) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1