Anne is furry. Anne is smart. Bob is kind. Bob is nice. Charlie is big. Charlie is green. Charlie is nice. Charlie is young. Gary is furry. Gary is kind. Gary is nice. Gary is young. If something is young then it is nice. If Anne is green then Anne is big. Smart things are nice. All smart, kind things are green. Young, big things are kind. Kind, smart things are furry. If something is nice and big then it is young. All nice things are kind. If Anne is young and Anne is big then Anne is nice.
Anne is not big.
@0: Anne is furry.[(triple1 OR ((((((triple2) -> rule3)) -> rule8) triple2) -> rule6))] Anne is smart.[(triple2)] Bob is kind.[(triple3 OR ((triple4) -> rule8))] Bob is nice.[(triple4)] Charlie is big.[(triple5)] Charlie is green.[(triple6)] Charlie is nice.[(triple7 OR ((triple8) -> rule1))] Charlie is young.[(triple8 OR ((triple7 triple5) -> rule7))] Gary is furry.[(triple9)] Gary is kind.[(triple10 OR ((triple11) -> rule8) OR ((((triple12) -> rule1)) -> rule8))] Gary is nice.[(triple11 OR ((triple12) -> rule1))] Gary is young.[(triple12)] @1: Anne is nice.[(((triple2) -> rule3))] Charlie is kind.[(((triple7) -> rule8) OR ((triple8 triple5) -> rule5) OR ((((triple8) -> rule1)) -> rule8) OR ((((triple7 triple5) -> rule7) triple5) -> rule5))] @2: Anne is kind.[(((((triple2) -> rule3)) -> rule8))] @3: Anne is green.[(((triple2 ((((triple2) -> rule3)) -> rule8)) -> rule4))] @4: Anne is big.[(((((triple2 ((((triple2) -> rule3)) -> rule8)) -> rule4)) -> rule2))] @5: Anne is young.[(((((triple2) -> rule3) ((((triple2 ((((triple2) -> rule3)) -> rule8)) -> rule4)) -> rule2)) -> rule7))]