Anne is round. Fiona is big. Fiona is round. Fiona is young. Gary is red. Gary is white. Harry is big. Harry is round. Harry is smart. Harry is white. Young things are smart. Young things are red. If something is red and smart then it is white. Big things are red. Big, rough things are round. All smart, white things are red. Smart things are big. If something is red then it is young. Big things are rough.
Anne is young.
@0: Anne is round.[(triple1)] Fiona is big.[(triple2 OR ((((triple4) -> rule1)) -> rule7))] Fiona is round.[(triple3 OR ((triple2 ((triple2) -> rule9)) -> rule5) OR ((((((triple4) -> rule1)) -> rule7) ((triple2) -> rule9)) -> rule5) OR ((triple2 ((((((triple4) -> rule1)) -> rule7)) -> rule9)) -> rule5) OR ((((((triple4) -> rule1)) -> rule7) ((((((triple4) -> rule1)) -> rule7)) -> rule9)) -> rule5))] Fiona is young.[(triple4 OR ((((triple2) -> rule4)) -> rule8))] Gary is red.[(triple5)] Gary is white.[(triple6 OR ((triple5 ((((triple5) -> rule8)) -> rule1)) -> rule3))] Harry is big.[(triple7 OR ((triple9) -> rule7))] Harry is round.[(triple8 OR ((triple7 ((triple7) -> rule9)) -> rule5) OR ((((triple9) -> rule7) ((triple7) -> rule9)) -> rule5) OR ((triple7 ((((triple9) -> rule7)) -> rule9)) -> rule5) OR ((((triple9) -> rule7) ((((triple9) -> rule7)) -> rule9)) -> rule5))] Harry is smart.[(triple9 OR ((((((triple7) -> rule4)) -> rule8)) -> rule1))] Harry is white.[(triple10 OR ((((triple7) -> rule4) triple9) -> rule3) OR ((((((triple9) -> rule7)) -> rule4) triple9) -> rule3) OR ((((triple7) -> rule4) ((((((triple7) -> rule4)) -> rule8)) -> rule1)) -> rule3) OR ((((((triple9) -> rule7)) -> rule4) ((((((triple7) -> rule4)) -> rule8)) -> rule1)) -> rule3))] @1: Fiona is red.[(((triple2) -> rule4) OR ((triple4) -> rule2) OR ((((((triple4) -> rule1)) -> rule7)) -> rule4))] Fiona is rough.[(((triple2) -> rule9) OR ((((((triple4) -> rule1)) -> rule7)) -> rule9))] Fiona is smart.[(((triple4) -> rule1) OR ((((((triple2) -> rule4)) -> rule8)) -> rule1))] Gary is young.[(((triple5) -> rule8))] Harry is red.[(((triple7) -> rule4) OR ((triple9 triple10) -> rule6) OR ((((triple9) -> rule7)) -> rule4))] Harry is rough.[(((triple7) -> rule9) OR ((((triple9) -> rule7)) -> rule9))] @2: Fiona is white.[(((((triple2) -> rule4) ((triple4) -> rule1)) -> rule3) OR ((((triple4) -> rule2) ((triple4) -> rule1)) -> rule3) OR ((((triple2) -> rule4) ((((((triple2) -> rule4)) -> rule8)) -> rule1)) -> rule3) OR ((((triple4) -> rule2) ((((((triple2) -> rule4)) -> rule8)) -> rule1)) -> rule3) OR ((((((((triple4) -> rule1)) -> rule7)) -> rule4) ((triple4) -> rule1)) -> rule3) OR ((((((((triple4) -> rule1)) -> rule7)) -> rule4) ((((((triple2) -> rule4)) -> rule8)) -> rule1)) -> rule3))] Gary is smart.[(((((triple5) -> rule8)) -> rule1))] Harry is young.[(((((triple7) -> rule4)) -> rule8) OR ((((triple9 triple10) -> rule6)) -> rule8) OR ((((((triple9) -> rule7)) -> rule4)) -> rule8))] @3: Gary is big.[(((((((triple5) -> rule8)) -> rule1)) -> rule7))] @4: Gary is rough.[(((((((((triple5) -> rule8)) -> rule1)) -> rule7)) -> rule9))] @5: Gary is round.[(((((((((triple5) -> rule8)) -> rule1)) -> rule7) ((((((((triple5) -> rule8)) -> rule1)) -> rule7)) -> rule9)) -> rule5))]