Erin is big. Erin is blue. Erin is cold. Erin is not green. Erin is rough. Gary is big. Gary is blue. Gary is cold. Gary is not green. Gary is red. Gary is not rough. Gary is young. All green people are not big. If Erin is blue then Erin is young.
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is not green.
("Erin" "is" "green" "-")
Erin is rough.
("Erin" "is" "rough" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is not green.
("Gary" "is" "green" "-")
Gary is red.
("Gary" "is" "red" "+")
Gary is not rough.
("Gary" "is" "rough" "-")
Gary is young.
("Gary" "is" "young" "+")
All green people are not big.
((("someone" "is" "green" "+")) -> ("someone" "is" "big" "-"))
If Erin is blue then Erin is young.
((("Erin" "is" "blue" "+")) -> ("Erin" "is" "young" "+"))
Erin is not green.
True
1
proof
[(triple4)]
("Erin" "is" "green" "-")
triple4
Gary is not blue.
False
1
inv-proof
[(triple7)]
("Gary" "is" "blue" "-")
triple7
Erin is young.
True
2
proof
[(((triple2) -> rule2))]
("Erin" "is" "young" "+")
((triple2) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is not young.
False
2
inv-proof
[(((triple2) -> rule2))]
("Erin" "is" "young" "-")
((triple2) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is cold.[(triple3)] Erin is not green.[(triple4)] Erin is rough.[(triple5)] Gary is big.[(triple6)] Gary is blue.[(triple7)] Gary is cold.[(triple8)] Gary is not green.[(triple9)] Gary is not rough.[(triple11)] Gary is red.[(triple10)] Gary is young.[(triple12)] @1: Erin is young.[(((triple2) -> rule2))]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is blue.
("Erin" "is" "blue" "+")
triple2
Erin is cold.
("Erin" "is" "cold" "+")
triple3
Erin is not green.
("Erin" "is" "green" "-")
triple4
Erin is rough.
("Erin" "is" "rough" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Gary is not green.
("Gary" "is" "green" "-")
triple9
Gary is not rough.
("Gary" "is" "rough" "-")
triple11
Gary is red.
("Gary" "is" "red" "+")
triple10
Gary is young.
("Gary" "is" "young" "+")
triple12
Erin is young.
("Erin" "is" "young" "+")
((triple2) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1