Anne is quiet. Anne is smart. Anne is young. Bob is big. Bob is red. Bob is rough. Bob is smart. Bob is white. Bob is young. Charlie is big. Charlie is rough. Charlie is smart. Harry is rough. Harry is smart. Harry is white. Harry is young. Quiet people are smart. All smart, rough people are quiet. Red, big people are quiet. Smart, quiet people are young. If someone is rough and quiet then they are big. Big people are smart.
Charlie is young.
@0: Anne is quiet.[(triple1)] Anne is smart.[(triple2 OR ((triple1) -> rule1))] Anne is young.[(triple3 OR ((triple2 triple1) -> rule4) OR ((((triple1) -> rule1) triple1) -> rule4))] Bob is big.[(triple4 OR ((triple6 ((triple7 triple6) -> rule2)) -> rule5))] Bob is red.[(triple5)] Bob is rough.[(triple6)] Bob is smart.[(triple7 OR ((triple4) -> rule6) OR ((((triple5 triple4) -> rule3)) -> rule1))] Bob is white.[(triple8)] Bob is young.[(triple9 OR ((triple7 ((triple5 triple4) -> rule3)) -> rule4) OR ((triple7 ((triple7 triple6) -> rule2)) -> rule4) OR ((((triple4) -> rule6) ((triple5 triple4) -> rule3)) -> rule4) OR ((((triple4) -> rule6) ((triple7 triple6) -> rule2)) -> rule4) OR ((triple7 ((((triple4) -> rule6) triple6) -> rule2)) -> rule4) OR ((((triple4) -> rule6) ((((triple4) -> rule6) triple6) -> rule2)) -> rule4) OR ((((((triple5 triple4) -> rule3)) -> rule1) ((triple5 triple4) -> rule3)) -> rule4) OR ((((((triple5 triple4) -> rule3)) -> rule1) ((triple7 triple6) -> rule2)) -> rule4) OR ((((((triple5 triple4) -> rule3)) -> rule1) ((((triple4) -> rule6) triple6) -> rule2)) -> rule4))] Charlie is big.[(triple10 OR ((triple11 ((triple12 triple11) -> rule2)) -> rule5))] Charlie is rough.[(triple11)] Charlie is smart.[(triple12 OR ((triple10) -> rule6))] Harry is rough.[(triple13)] Harry is smart.[(triple14)] Harry is white.[(triple15)] Harry is young.[(triple16 OR ((triple14 ((triple14 triple13) -> rule2)) -> rule4))] @1: Bob is quiet.[(((triple5 triple4) -> rule3) OR ((triple7 triple6) -> rule2) OR ((((triple4) -> rule6) triple6) -> rule2))] Charlie is quiet.[(((triple12 triple11) -> rule2) OR ((((triple10) -> rule6) triple11) -> rule2))] Harry is quiet.[(((triple14 triple13) -> rule2))] @2: Charlie is young.[(((triple12 ((triple12 triple11) -> rule2)) -> rule4) OR ((((triple10) -> rule6) ((triple12 triple11) -> rule2)) -> rule4) OR ((triple12 ((((triple10) -> rule6) triple11) -> rule2)) -> rule4) OR ((((triple10) -> rule6) ((((triple10) -> rule6) triple11) -> rule2)) -> rule4))] Harry is big.[(((triple13 ((triple14 triple13) -> rule2)) -> rule5))]