Gary is furry. Gary is kind. Gary is nice. Gary is red. Gary is smart. Gary is white. Harry is furry. Harry is green. Harry is kind. Harry is nice. Harry is red. Harry is smart. Red, nice people are green. Furry, white people are kind.
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Red, nice people are green.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
Furry, white people are kind.
((("someone" "is" "furry" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "kind" "+"))
Harry is red.
True
1
proof
[(triple11)]
("Harry" "is" "red" "+")
triple11
Harry is not furry.
False
1
inv-proof
[(triple7)]
("Harry" "is" "furry" "-")
triple7
Gary is green.
True
3
proof
[(((triple4 triple3) -> rule1))]
("Gary" "is" "green" "+")
((triple4 triple3) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is not green.
False
3
inv-proof
[(((triple4 triple3) -> rule1))]
("Gary" "is" "green" "-")
((triple4 triple3) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
@0: Gary is furry.[(triple1)] Gary is kind.[(triple2 OR ((triple1 triple6) -> rule2))] Gary is nice.[(triple3)] Gary is red.[(triple4)] Gary is smart.[(triple5)] Gary is white.[(triple6)] Harry is furry.[(triple7)] Harry is green.[(triple8 OR ((triple11 triple10) -> rule1))] Harry is kind.[(triple9)] Harry is nice.[(triple10)] Harry is red.[(triple11)] Harry is smart.[(triple12)] @1: Gary is green.[(((triple4 triple3) -> rule1))]
Gary is furry.
("Gary" "is" "furry" "+")
triple1
Gary is kind.
("Gary" "is" "kind" "+")
triple2
((triple1 triple6) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
triple3
Gary is red.
("Gary" "is" "red" "+")
triple4
Gary is smart.
("Gary" "is" "smart" "+")
triple5
Gary is white.
("Gary" "is" "white" "+")
triple6
Harry is furry.
("Harry" "is" "furry" "+")
triple7
Harry is green.
("Harry" "is" "green" "+")
triple8
((triple11 triple10) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Harry is red.
("Harry" "is" "red" "+")
triple11
Harry is smart.
("Harry" "is" "smart" "+")
triple12
Gary is green.
("Gary" "is" "green" "+")
((triple4 triple3) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1