Erin is big. Erin is blue. Erin is not furry. Erin is nice. Erin is red. Erin is rough. Erin is young. Fiona is not big. Fiona is blue. Fiona is not furry. Fiona is nice. Fiona is not red. Fiona is rough. Fiona is young. If Erin is young and Erin is furry then Erin is red.
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is not furry.
("Erin" "is" "furry" "-")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is not red.
("Fiona" "is" "red" "-")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If Erin is young and Erin is furry then Erin is red.
((("Erin" "is" "young" "+") ("Erin" "is" "furry" "+")) -> ("Erin" "is" "red" "+"))
Erin is young.
True
1
proof
[(triple7)]
("Erin" "is" "young" "+")
triple7
Erin is not blue.
False
1
inv-proof
[(triple2)]
("Erin" "is" "blue" "-")
triple2
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is nice.[(triple4)] Erin is not furry.[(triple3)] Erin is red.[(triple5)] Erin is rough.[(triple6)] Erin is young.[(triple7)] Fiona is blue.[(triple9)] Fiona is nice.[(triple11)] Fiona is not big.[(triple8)] Fiona is not furry.[(triple10)] Fiona is not red.[(triple12)] Fiona is rough.[(triple13)] Fiona is young.[(triple14)]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is blue.
("Erin" "is" "blue" "+")
triple2
Erin is nice.
("Erin" "is" "nice" "+")
triple4
Erin is not furry.
("Erin" "is" "furry" "-")
triple3
Erin is red.
("Erin" "is" "red" "+")
triple5
Erin is rough.
("Erin" "is" "rough" "+")
triple6
Erin is young.
("Erin" "is" "young" "+")
triple7
Fiona is blue.
("Fiona" "is" "blue" "+")
triple9
Fiona is nice.
("Fiona" "is" "nice" "+")
triple11
Fiona is not big.
("Fiona" "is" "big" "-")
triple8
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple10
Fiona is not red.
("Fiona" "is" "red" "-")
triple12
Fiona is rough.
("Fiona" "is" "rough" "+")
triple13
Fiona is young.
("Fiona" "is" "young" "+")
triple14