Bob is rough. Bob is smart. Bob is young. Charlie is kind. Charlie is red. Charlie is rough. Charlie is round. Charlie is smart. Charlie is white. Charlie is young. Harry is kind. Harry is red. Harry is rough. Harry is smart. Harry is white. Kind things are young. Rough, white things are smart. All round, white things are rough. If something is red and kind then it is round. If something is kind and round then it is rough. Kind things are smart. If something is white and red then it is smart. If something is young then it is kind.
Charlie is round.
@0: Bob is rough.[(triple1)] Bob is smart.[(triple2 OR ((((triple3) -> rule8)) -> rule6))] Bob is young.[(triple3)] Charlie is kind.[(triple4 OR ((triple10) -> rule8))] Charlie is red.[(triple5)] Charlie is rough.[(triple6 OR ((triple4 triple7) -> rule5) OR ((triple7 triple9) -> rule3) OR ((triple4 ((triple5 triple4) -> rule4)) -> rule5) OR ((((triple10) -> rule8) triple7) -> rule5) OR ((((triple5 triple4) -> rule4) triple9) -> rule3) OR ((((triple10) -> rule8) ((triple5 triple4) -> rule4)) -> rule5) OR ((triple4 ((triple5 ((triple10) -> rule8)) -> rule4)) -> rule5) OR ((((triple5 ((triple10) -> rule8)) -> rule4) triple9) -> rule3) OR ((((triple10) -> rule8) ((triple5 ((triple10) -> rule8)) -> rule4)) -> rule5))] Charlie is round.[(triple7 OR ((triple5 triple4) -> rule4) OR ((triple5 ((triple10) -> rule8)) -> rule4))] Charlie is smart.[(triple8 OR ((triple4) -> rule6) OR ((triple6 triple9) -> rule2) OR ((triple9 triple5) -> rule7) OR ((((triple10) -> rule8)) -> rule6) OR ((((triple4 triple7) -> rule5) triple9) -> rule2) OR ((((triple7 triple9) -> rule3) triple9) -> rule2) OR ((((triple4 ((triple5 triple4) -> rule4)) -> rule5) triple9) -> rule2) OR ((((((triple10) -> rule8) triple7) -> rule5) triple9) -> rule2) OR ((((((triple5 triple4) -> rule4) triple9) -> rule3) triple9) -> rule2) OR ((((((triple10) -> rule8) ((triple5 triple4) -> rule4)) -> rule5) triple9) -> rule2) OR ((((triple4 ((triple5 ((triple10) -> rule8)) -> rule4)) -> rule5) triple9) -> rule2) OR ((((((triple5 ((triple10) -> rule8)) -> rule4) triple9) -> rule3) triple9) -> rule2) OR ((((((triple10) -> rule8) ((triple5 ((triple10) -> rule8)) -> rule4)) -> rule5) triple9) -> rule2))] Charlie is white.[(triple9)] Charlie is young.[(triple10 OR ((triple4) -> rule1))] Harry is kind.[(triple11)] Harry is red.[(triple12)] Harry is rough.[(triple13 OR ((triple11 ((triple12 triple11) -> rule4)) -> rule5) OR ((((triple12 triple11) -> rule4) triple15) -> rule3))] Harry is smart.[(triple14 OR ((triple11) -> rule6) OR ((triple13 triple15) -> rule2) OR ((triple15 triple12) -> rule7) OR ((((triple11 ((triple12 triple11) -> rule4)) -> rule5) triple15) -> rule2) OR ((((((triple12 triple11) -> rule4) triple15) -> rule3) triple15) -> rule2))] Harry is white.[(triple15)] @1: Bob is kind.[(((triple3) -> rule8))] Harry is round.[(((triple12 triple11) -> rule4))] Harry is young.[(((triple11) -> rule1))]