Erin is big. Erin is blue. Erin is green. Erin is red. Erin is round. Erin is white. Erin is young. Green, blue people are round. Red people are young.
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Green, blue people are round.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
Red people are young.
((("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
Erin is blue.
True
1
proof
[(triple2)]
("Erin" "is" "blue" "+")
triple2
Erin is not red.
False
1
inv-proof
[(triple4)]
("Erin" "is" "red" "-")
triple4
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is green.[(triple3)] Erin is red.[(triple4)] Erin is round.[(triple5 OR ((triple3 triple2) -> rule1))] Erin is white.[(triple6)] Erin is young.[(triple7 OR ((triple4) -> rule2))]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is blue.
("Erin" "is" "blue" "+")
triple2
Erin is green.
("Erin" "is" "green" "+")
triple3
Erin is red.
("Erin" "is" "red" "+")
triple4
Erin is round.
("Erin" "is" "round" "+")
triple5
((triple3 triple2) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
triple6
Erin is young.
("Erin" "is" "young" "+")
triple7
((triple4) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1