Gary is blue. Gary is furry. Gary is nice. Gary is quiet. Gary is red. Gary is smart. Gary is young. Red, quiet things are nice. All blue, quiet things are furry. Blue, nice things are quiet.
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
Red, quiet things are nice.
((("something" "is" "red" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "nice" "+"))
All blue, quiet things are furry.
((("something" "is" "blue" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "furry" "+"))
Blue, nice things are quiet.
((("something" "is" "blue" "+") ("something" "is" "nice" "+")) -> ("something" "is" "quiet" "+"))
Gary is red.
True
1
proof
[(triple5)]
("Gary" "is" "red" "+")
triple5
Gary is not quiet.
False
1
inv-proof
[(triple4 OR ((triple1 triple3) -> rule3))]
("Gary" "is" "quiet" "-")
triple4
((triple1 triple3) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
@0: Gary is blue.[(triple1)] Gary is furry.[(triple2 OR ((triple1 triple4) -> rule2) OR ((triple1 ((triple1 triple3) -> rule3)) -> rule2))] Gary is nice.[(triple3 OR ((triple5 triple4) -> rule1))] Gary is quiet.[(triple4 OR ((triple1 triple3) -> rule3))] Gary is red.[(triple5)] Gary is smart.[(triple6)] Gary is young.[(triple7)]
Gary is blue.
("Gary" "is" "blue" "+")
triple1
Gary is furry.
("Gary" "is" "furry" "+")
triple2
((triple1 triple4) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((triple1 ((triple1 triple3) -> (rule3 % int2))) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
triple3
((triple5 triple4) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
triple4
((triple1 triple3) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
triple5
Gary is smart.
("Gary" "is" "smart" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple7