Erin is big. Erin is blue. Erin is cold. Erin is green. Erin is nice. Erin is red. Erin is round. All cold, blue people 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 nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
All cold, blue people are big.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
Erin is red.
True
1
proof
[(triple6)]
("Erin" "is" "red" "+")
triple6
Erin is not big.
False
1
inv-proof
[(triple1 OR ((triple3 triple2) -> rule1))]
("Erin" "is" "big" "-")
triple1
((triple3 triple2) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
@0: Erin is big.[(triple1 OR ((triple3 triple2) -> rule1))] Erin is blue.[(triple2)] Erin is cold.[(triple3)] Erin is green.[(triple4)] Erin is nice.[(triple5)] Erin is red.[(triple6)] Erin is round.[(triple7)]
Erin is big.
("Erin" "is" "big" "+")
triple1
((triple3 triple2) -> (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 nice.
("Erin" "is" "nice" "+")
triple5
Erin is red.
("Erin" "is" "red" "+")
triple6
Erin is round.
("Erin" "is" "round" "+")
triple7