Erin is big. Erin is blue. Erin is furry. Erin is kind. Erin is nice. Erin is red. Erin is white. Gary is big. Gary is blue. Gary is furry. Gary is kind. Gary is nice. Gary is red. Gary is white. Furry things are white. If Gary is big then Gary is nice.
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
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 white.
("Gary" "is" "white" "+")
Furry things are white.
((("something" "is" "furry" "+")) -> ("something" "is" "white" "+"))
If Gary is big then Gary is nice.
((("Gary" "is" "big" "+")) -> ("Gary" "is" "nice" "+"))
Erin is red.
True
1
proof
[(triple6)]
("Erin" "is" "red" "+")
triple6
Erin is not nice.
False
1
inv-proof
[(triple5)]
("Erin" "is" "nice" "-")
triple5
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is furry.[(triple3)] Erin is kind.[(triple4)] Erin is nice.[(triple5)] Erin is red.[(triple6)] Erin is white.[(triple7 OR ((triple3) -> rule1))] Gary is big.[(triple8)] Gary is blue.[(triple9)] Gary is furry.[(triple10)] Gary is kind.[(triple11)] Gary is nice.[(triple12 OR ((triple8) -> rule2))] Gary is red.[(triple13)] Gary is white.[(triple14 OR ((triple10) -> rule1))]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is blue.
("Erin" "is" "blue" "+")
triple2
Erin is furry.
("Erin" "is" "furry" "+")
triple3
Erin is kind.
("Erin" "is" "kind" "+")
triple4
Erin is nice.
("Erin" "is" "nice" "+")
triple5
Erin is red.
("Erin" "is" "red" "+")
triple6
Erin is white.
("Erin" "is" "white" "+")
triple7
((triple3) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
triple8
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is furry.
("Gary" "is" "furry" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
triple11
Gary is nice.
("Gary" "is" "nice" "+")
triple12
((triple8) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
triple13
Gary is white.
("Gary" "is" "white" "+")
triple14
((triple10) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1