Anne is furry. Anne is nice. Anne is young. Dave is furry. Dave is green. Dave is red. Dave is young. All big, red people are smart. If someone is nice then they are big. All nice people are furry. All big people are furry. If Dave is red then Dave is big. If someone is red and smart then they are nice. If Anne is furry and Anne is young then Anne is green. If someone is smart then they are furry.
Dave is not nice.
@0: Anne is furry.[(triple1 OR ((triple2) -> rule3) OR ((((triple2) -> rule2)) -> rule4))] Anne is nice.[(triple2)] Anne is young.[(triple3)] Dave is furry.[(triple4 OR ((((triple6) -> rule5)) -> rule4) OR ((((((triple6) -> rule5) triple6) -> rule1)) -> rule8) OR ((((triple6 ((((triple6) -> rule5) triple6) -> rule1)) -> rule6)) -> rule3))] Dave is green.[(triple5)] Dave is red.[(triple6)] Dave is young.[(triple7)] @1: Anne is big.[(((triple2) -> rule2))] Anne is green.[(((triple1 triple3) -> rule7) OR ((((triple2) -> rule3) triple3) -> rule7) OR ((((((triple2) -> rule2)) -> rule4) triple3) -> rule7))] Dave is big.[(((triple6) -> rule5))] @2: Dave is smart.[(((((triple6) -> rule5) triple6) -> rule1))] @3: Dave is nice.[(((triple6 ((((triple6) -> rule5) triple6) -> rule1)) -> rule6))]