Charlie is big. Charlie is green. Charlie is quiet. Charlie is rough. Charlie is not round. Charlie is white. Charlie is not young. Erin is big. Erin is green. Erin is quiet. Erin is rough. Erin is round. Erin is white. Erin is not young. If Charlie is green then Charlie is white.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is not round.
("Charlie" "is" "round" "-")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is not young.
("Charlie" "is" "young" "-")
Erin is big.
("Erin" "is" "big" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is not young.
("Erin" "is" "young" "-")
If Charlie is green then Charlie is white.
((("Charlie" "is" "green" "+")) -> ("Charlie" "is" "white" "+"))
Erin is big.
True
1
proof
[(triple8)]
("Erin" "is" "big" "+")
triple8
Charlie is not quiet.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "quiet" "-")
triple3
@0: Charlie is big.[(triple1)] Charlie is green.[(triple2)] Charlie is not round.[(triple5)] Charlie is not young.[(triple7)] Charlie is quiet.[(triple3)] Charlie is rough.[(triple4)] Charlie is white.[(triple6 OR ((triple2) -> rule1))] Erin is big.[(triple8)] Erin is green.[(triple9)] Erin is not young.[(triple14)] Erin is quiet.[(triple10)] Erin is rough.[(triple11)] Erin is round.[(triple12)] Erin is white.[(triple13)]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is not round.
("Charlie" "is" "round" "-")
triple5
Charlie is not young.
("Charlie" "is" "young" "-")
triple7
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Charlie is white.
("Charlie" "is" "white" "+")
triple6
((triple2) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
triple8
Erin is green.
("Erin" "is" "green" "+")
triple9
Erin is not young.
("Erin" "is" "young" "-")
triple14
Erin is quiet.
("Erin" "is" "quiet" "+")
triple10
Erin is rough.
("Erin" "is" "rough" "+")
triple11
Erin is round.
("Erin" "is" "round" "+")
triple12
Erin is white.
("Erin" "is" "white" "+")
triple13