Anne is big. Anne is not blue. Anne is furry. Anne is quiet. Anne is smart. Anne is white. Anne is young. If Anne is not blue then Anne is big. All blue people are not big. If Anne is big and Anne is quiet then Anne is smart.
Anne is big.
("Anne" "is" "big" "+")
Anne is not blue.
("Anne" "is" "blue" "-")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
If Anne is not blue then Anne is big.
((("Anne" "is" "blue" "~")) -> ("Anne" "is" "big" "+"))
All blue people are not big.
((("someone" "is" "blue" "+")) -> ("someone" "is" "big" "-"))
If Anne is big and Anne is quiet then Anne is smart.
((("Anne" "is" "big" "+") ("Anne" "is" "quiet" "+")) -> ("Anne" "is" "smart" "+"))
Anne is white.
True
1
proof
[(triple6)]
("Anne" "is" "white" "+")
triple6
Anne is not young.
False
1
inv-proof
[(triple7)]
("Anne" "is" "young" "-")
triple7
@0: Anne is big.[(triple1 OR ((triple2) -> rule1))] Anne is furry.[(triple3)] Anne is not blue.[(triple2)] Anne is quiet.[(triple4)] Anne is smart.[(triple5 OR ((triple1 triple4) -> rule3) OR ((((triple2) -> rule1) triple4) -> rule3))] Anne is white.[(triple6)] Anne is young.[(triple7)]
Anne is big.
("Anne" "is" "big" "+")
triple1
((triple2) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
triple3
Anne is not blue.
("Anne" "is" "blue" "-")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
Anne is smart.
("Anne" "is" "smart" "+")
triple5
((triple1 triple4) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((((triple2) -> (rule1 % int2)) triple4) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
triple6
Anne is young.
("Anne" "is" "young" "+")
triple7