Bob is rough. Bob is young. Charlie is smart. Charlie is white. Fiona is quiet. Fiona is rough. Fiona is round. Fiona is smart. Harry is round. Harry is young. If Bob is round then Bob is quiet. If someone is white then they are smart. All round people are young. Smart people are red. If Harry is smart then Harry is rough. If someone is smart and red then they are round. All smart, young people are quiet. If Harry is rough and Harry is round then Harry is young.
Harry is white.
@0: Bob is rough.[(triple1)] Bob is young.[(triple2)] Charlie is smart.[(triple3 OR ((triple4) -> rule2))] Charlie is white.[(triple4)] Fiona is quiet.[(triple5 OR ((triple8 ((triple7) -> rule3)) -> rule7) OR ((triple8 ((((triple8 ((triple8) -> rule4)) -> rule6)) -> rule3)) -> rule7))] Fiona is rough.[(triple6)] Fiona is round.[(triple7 OR ((triple8 ((triple8) -> rule4)) -> rule6))] Fiona is smart.[(triple8)] Harry is round.[(triple9)] Harry is young.[(triple10 OR ((triple9) -> rule3))] @1: Charlie is red.[(((triple3) -> rule4) OR ((((triple4) -> rule2)) -> rule4))] Fiona is red.[(((triple8) -> rule4))] Fiona is young.[(((triple7) -> rule3) OR ((((triple8 ((triple8) -> rule4)) -> rule6)) -> rule3))] @2: Charlie is round.[(((triple3 ((triple3) -> rule4)) -> rule6) OR ((((triple4) -> rule2) ((triple3) -> rule4)) -> rule6) OR ((triple3 ((((triple4) -> rule2)) -> rule4)) -> rule6) OR ((((triple4) -> rule2) ((((triple4) -> rule2)) -> rule4)) -> rule6))] @3: Charlie is young.[(((((triple3 ((triple3) -> rule4)) -> rule6)) -> rule3) OR ((((((triple4) -> rule2) ((triple3) -> rule4)) -> rule6)) -> rule3) OR ((((triple3 ((((triple4) -> rule2)) -> rule4)) -> rule6)) -> rule3) OR ((((((triple4) -> rule2) ((((triple4) -> rule2)) -> rule4)) -> rule6)) -> rule3))] @4: Charlie is quiet.[(((triple3 ((((triple3 ((triple3) -> rule4)) -> rule6)) -> rule3)) -> rule7) OR ((triple3 ((((((triple4) -> rule2) ((triple3) -> rule4)) -> rule6)) -> rule3)) -> rule7) OR ((((triple4) -> rule2) ((((triple3 ((triple3) -> rule4)) -> rule6)) -> rule3)) -> rule7) OR ((((triple4) -> rule2) ((((((triple4) -> rule2) ((triple3) -> rule4)) -> rule6)) -> rule3)) -> rule7) OR ((triple3 ((((triple3 ((((triple4) -> rule2)) -> rule4)) -> rule6)) -> rule3)) -> rule7) OR ((triple3 ((((((triple4) -> rule2) ((((triple4) -> rule2)) -> rule4)) -> rule6)) -> rule3)) -> rule7) OR ((((triple4) -> rule2) ((((triple3 ((((triple4) -> rule2)) -> rule4)) -> rule6)) -> rule3)) -> rule7) OR ((((triple4) -> rule2) ((((((triple4) -> rule2) ((((triple4) -> rule2)) -> rule4)) -> rule6)) -> rule3)) -> rule7))]