Anne is big. Anne is kind. Anne is nice. Anne is quiet. Anne is red. Anne is round. Gary is big. Gary is green. Gary is kind. Gary is quiet. Gary is red. Gary is round. Harry is big. Harry is kind. Harry is red. If Gary is nice and Gary is red then Gary is big. If Anne is big then Anne is kind. If Anne is big then Anne is green. If Anne is red then Anne is big. If someone is red then they are kind. Round people are big. If someone is red then they are green. All kind people are big.
Harry is not quiet.
@0: Anne is big.[(triple1 OR ((triple2) -> rule8) OR ((triple5) -> rule4) OR ((triple6) -> rule6) OR ((((triple5) -> rule5)) -> rule8))] Anne is kind.[(triple2 OR ((triple1) -> rule2) OR ((triple5) -> rule5) OR ((((triple5) -> rule4)) -> rule2) OR ((((triple6) -> rule6)) -> rule2))] Anne is nice.[(triple3)] Anne is quiet.[(triple4)] Anne is red.[(triple5)] Anne is round.[(triple6)] Gary is big.[(triple7 OR ((triple12) -> rule6) OR ((triple9) -> rule8) OR ((((triple11) -> rule5)) -> rule8))] Gary is green.[(triple8 OR ((triple11) -> rule7))] Gary is kind.[(triple9 OR ((triple11) -> rule5))] Gary is quiet.[(triple10)] Gary is red.[(triple11)] Gary is round.[(triple12)] Harry is big.[(triple13 OR ((triple14) -> rule8) OR ((((triple15) -> rule5)) -> rule8))] Harry is kind.[(triple14 OR ((triple15) -> rule5))] Harry is red.[(triple15)] @1: Anne is green.[(((triple1) -> rule3) OR ((triple5) -> rule7) OR ((((triple2) -> rule8)) -> rule3) OR ((((triple5) -> rule4)) -> rule3) OR ((((triple6) -> rule6)) -> rule3) OR ((((((triple5) -> rule5)) -> rule8)) -> rule3))] Harry is green.[(((triple15) -> rule7))]