Gary is blue. Gary is cold. Gary is furry. Gary is kind. Gary is nice. Gary is round. Gary is young. If someone is blue then they are nice.
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is blue then they are nice.
((("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
Gary is cold.
True
1
proof
[(triple2)]
("Gary" "is" "cold" "+")
triple2
Gary is not blue.
False
1
inv-proof
[(triple1)]
("Gary" "is" "blue" "-")
triple1
@0: Gary is blue.[(triple1)] Gary is cold.[(triple2)] Gary is furry.[(triple3)] Gary is kind.[(triple4)] Gary is nice.[(triple5 OR ((triple1) -> rule1))] Gary is round.[(triple6)] Gary is young.[(triple7)]
Gary is blue.
("Gary" "is" "blue" "+")
triple1
Gary is cold.
("Gary" "is" "cold" "+")
triple2
Gary is furry.
("Gary" "is" "furry" "+")
triple3
Gary is kind.
("Gary" "is" "kind" "+")
triple4
Gary is nice.
("Gary" "is" "nice" "+")
triple5
((triple1) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple7