Gary is blue. Gary is cold. Gary is not furry. Gary is not quiet. Gary is white. Gary is young. Harry is blue. Harry is not cold. Harry is furry. Harry is not nice. Harry is quiet. Harry is white. If someone is cold and quiet then they are nice. If someone is young and cold then they are not nice. If Gary is quiet and Gary is blue then Gary is furry.
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is not furry.
("Gary" "is" "furry" "-")
Gary is not quiet.
("Gary" "is" "quiet" "-")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is not cold.
("Harry" "is" "cold" "-")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is not nice.
("Harry" "is" "nice" "-")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is white.
("Harry" "is" "white" "+")
If someone is cold and quiet then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and cold then they are not nice.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "-"))
If Gary is quiet and Gary is blue then Gary is furry.
((("Gary" "is" "quiet" "+") ("Gary" "is" "blue" "+")) -> ("Gary" "is" "furry" "+"))
Harry is quiet.
True
1
proof
[(triple11)]
("Harry" "is" "quiet" "+")
triple11
Harry is cold.
False
1
inv-proof
[(triple8)]
("Harry" "is" "cold" "+")
triple8
Gary is not nice.
True
3
proof
[(((triple6 triple2) -> rule2))]
("Gary" "is" "nice" "-")
((triple6 triple2) -> (rule2 % int1))
Gary is not nice.
("Gary" "is" "nice" "-")
int1
Gary is nice.
False
3
inv-proof
[(((triple6 triple2) -> rule2))]
("Gary" "is" "nice" "+")
((triple6 triple2) -> (rule2 % int1))
Gary is not nice.
("Gary" "is" "nice" "-")
int1
@0: Gary is blue.[(triple1)] Gary is cold.[(triple2)] Gary is not furry.[(triple3)] Gary is not quiet.[(triple4)] Gary is white.[(triple5)] Gary is young.[(triple6)] Harry is blue.[(triple7)] Harry is furry.[(triple9)] Harry is not cold.[(triple8)] Harry is not nice.[(triple10)] Harry is quiet.[(triple11)] Harry is white.[(triple12)] @1: Gary is not nice.[(((triple6 triple2) -> rule2))]
Gary is blue.
("Gary" "is" "blue" "+")
triple1
Gary is cold.
("Gary" "is" "cold" "+")
triple2
Gary is not furry.
("Gary" "is" "furry" "-")
triple3
Gary is not quiet.
("Gary" "is" "quiet" "-")
triple4
Gary is white.
("Gary" "is" "white" "+")
triple5
Gary is young.
("Gary" "is" "young" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple7
Harry is furry.
("Harry" "is" "furry" "+")
triple9
Harry is not cold.
("Harry" "is" "cold" "-")
triple8
Harry is not nice.
("Harry" "is" "nice" "-")
triple10
Harry is quiet.
("Harry" "is" "quiet" "+")
triple11
Harry is white.
("Harry" "is" "white" "+")
triple12
Gary is not nice.
("Gary" "is" "nice" "-")
((triple6 triple2) -> (rule2 % int1))
Gary is not nice.
("Gary" "is" "nice" "-")
int1