Anne is big. Anne is furry. Anne is quiet. Anne is rough. Anne is white. Anne is young. Erin is big. Erin is furry. Erin is green. Erin is quiet. Erin is white. Erin is young. Rough things are green. If something is green then it is big.
Anne is big.
("Anne" "is" "big" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Rough things are green.
((("something" "is" "rough" "+")) -> ("something" "is" "green" "+"))
If something is green then it is big.
((("something" "is" "green" "+")) -> ("something" "is" "big" "+"))
Erin is white.
True
1
proof
[(triple11)]
("Erin" "is" "white" "+")
triple11
Erin is not quiet.
False
1
inv-proof
[(triple10)]
("Erin" "is" "quiet" "-")
triple10
Anne is green.
True
2
proof
[(((triple4) -> rule1))]
("Anne" "is" "green" "+")
((triple4) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is not green.
False
2
inv-proof
[(((triple4) -> rule1))]
("Anne" "is" "green" "-")
((triple4) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
@0: Anne is big.[(triple1 OR ((((triple4) -> rule1)) -> rule2))] Anne is furry.[(triple2)] Anne is quiet.[(triple3)] Anne is rough.[(triple4)] Anne is white.[(triple5)] Anne is young.[(triple6)] Erin is big.[(triple7 OR ((triple9) -> rule2))] Erin is furry.[(triple8)] Erin is green.[(triple9)] Erin is quiet.[(triple10)] Erin is white.[(triple11)] Erin is young.[(triple12)] @1: Anne is green.[(((triple4) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Anne is white.
("Anne" "is" "white" "+")
triple5
Anne is young.
("Anne" "is" "young" "+")
triple6
Erin is big.
("Erin" "is" "big" "+")
triple7
((triple9) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
triple8
Erin is green.
("Erin" "is" "green" "+")
triple9
Erin is quiet.
("Erin" "is" "quiet" "+")
triple10
Erin is white.
("Erin" "is" "white" "+")
triple11
Erin is young.
("Erin" "is" "young" "+")
triple12
Anne is green.
("Anne" "is" "green" "+")
((triple4) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1