Anne is big. Anne is blue. Anne is furry. Anne is green. Anne is red. Anne is round. Anne is white. If Anne is big then Anne is round. If Anne is white then Anne is big.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
If Anne is big then Anne is round.
((("Anne" "is" "big" "+")) -> ("Anne" "is" "round" "+"))
If Anne is white then Anne is big.
((("Anne" "is" "white" "+")) -> ("Anne" "is" "big" "+"))
Anne is red.
True
1
proof
[(triple5)]
("Anne" "is" "red" "+")
triple5
Anne is not white.
False
1
inv-proof
[(triple7)]
("Anne" "is" "white" "-")
triple7
@0: Anne is big.[(triple1 OR ((triple7) -> rule2))] Anne is blue.[(triple2)] Anne is furry.[(triple3)] Anne is green.[(triple4)] Anne is red.[(triple5)] Anne is round.[(triple6 OR ((triple1) -> rule1) OR ((((triple7) -> rule2)) -> rule1))] Anne is white.[(triple7)]
Anne is big.
("Anne" "is" "big" "+")
triple1
((triple7) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
Anne is furry.
("Anne" "is" "furry" "+")
triple3
Anne is green.
("Anne" "is" "green" "+")
triple4
Anne is red.
("Anne" "is" "red" "+")
triple5
Anne is round.
("Anne" "is" "round" "+")
triple6
((triple1) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((((triple7) -> (rule2 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
triple7