Erin is big. Erin is blue. Erin is cold. Erin is green. Erin is kind. Erin is nice. Erin is red. All kind things are big.
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
All kind things are big.
((("something" "is" "kind" "+")) -> ("something" "is" "big" "+"))
Erin is red.
True
1
proof
[(triple7)]
("Erin" "is" "red" "+")
triple7
Erin is not kind.
False
1
inv-proof
[(triple5)]
("Erin" "is" "kind" "-")
triple5
@0: Erin is big.[(triple1 OR ((triple5) -> rule1))] Erin is blue.[(triple2)] Erin is cold.[(triple3)] Erin is green.[(triple4)] Erin is kind.[(triple5)] Erin is nice.[(triple6)] Erin is red.[(triple7)]
Erin is big.
("Erin" "is" "big" "+")
triple1
((triple5) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
triple2
Erin is cold.
("Erin" "is" "cold" "+")
triple3
Erin is green.
("Erin" "is" "green" "+")
triple4
Erin is kind.
("Erin" "is" "kind" "+")
triple5
Erin is nice.
("Erin" "is" "nice" "+")
triple6
Erin is red.
("Erin" "is" "red" "+")
triple7