Anne is big. Anne is furry. Anne is nice. Anne is not quiet. Anne is round. Anne is smart. Anne is young. If someone is furry and not round then they are young. If Anne is furry and Anne is not quiet then Anne is smart.
Anne is big.
("Anne" "is" "big" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is not quiet.
("Anne" "is" "quiet" "-")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is young.
("Anne" "is" "young" "+")
If someone is furry and not round then they are young.
((("someone" "is" "furry" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "young" "+"))
If Anne is furry and Anne is not quiet then Anne is smart.
((("Anne" "is" "furry" "+") ("Anne" "is" "quiet" "~")) -> ("Anne" "is" "smart" "+"))
Anne is furry.
True
1
proof
[(triple2)]
("Anne" "is" "furry" "+")
triple2
Anne is not smart.
False
1
inv-proof
[(triple6 OR ((triple2 triple4) -> rule2))]
("Anne" "is" "smart" "-")
triple6
((triple2 triple4) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is nice.[(triple3)] Anne is not quiet.[(triple4)] Anne is round.[(triple5)] Anne is smart.[(triple6 OR ((triple2 triple4) -> rule2))] Anne is young.[(triple7)]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is not quiet.
("Anne" "is" "quiet" "-")
triple4
Anne is round.
("Anne" "is" "round" "+")
triple5
Anne is smart.
("Anne" "is" "smart" "+")
triple6
((triple2 triple4) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
triple7