Erin is furry. Erin is green. Erin is nice. Erin is red. Erin is smart. Erin is white. Erin is young. Gary is green. Gary is nice. Gary is red. Gary is smart. Gary is young. If Gary is young and Gary is smart then Gary is white.
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
If Gary is young and Gary is smart then Gary is white.
((("Gary" "is" "young" "+") ("Gary" "is" "smart" "+")) -> ("Gary" "is" "white" "+"))
Gary is red.
True
1
proof
[(triple10)]
("Gary" "is" "red" "+")
triple10
Erin is not red.
False
1
inv-proof
[(triple4)]
("Erin" "is" "red" "-")
triple4
@0: Erin is furry.[(triple1)] Erin is green.[(triple2)] Erin is nice.[(triple3)] Erin is red.[(triple4)] Erin is smart.[(triple5)] Erin is white.[(triple6)] Erin is young.[(triple7)] Gary is green.[(triple8)] Gary is nice.[(triple9)] Gary is red.[(triple10)] Gary is smart.[(triple11)] Gary is young.[(triple12)] @1: Gary is white.[(((triple12 triple11) -> rule1))]
Erin is furry.
("Erin" "is" "furry" "+")
triple1
Erin is green.
("Erin" "is" "green" "+")
triple2
Erin is nice.
("Erin" "is" "nice" "+")
triple3
Erin is red.
("Erin" "is" "red" "+")
triple4
Erin is smart.
("Erin" "is" "smart" "+")
triple5
Erin is white.
("Erin" "is" "white" "+")
triple6
Erin is young.
("Erin" "is" "young" "+")
triple7
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is nice.
("Gary" "is" "nice" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple10
Gary is smart.
("Gary" "is" "smart" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple12
Gary is white.
("Gary" "is" "white" "+")
((triple12 triple11) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1