Anne is round. Anne is young. Charlie is green. Charlie is round. Charlie is young. Erin is big. Erin is green. Erin is round. Erin is young. Harry is nice. Harry is white. All young, white things are round. If something is nice and green then it is white. Cold things are round. Young, green things are nice. If something is big and green then it is nice. White, nice things are young. All green things are cold. White, round things are green. All cold, round things are big.
Harry is round.
@0: Anne is round.[(triple1)] Anne is young.[(triple2)] Charlie is green.[(triple3)] Charlie is round.[(triple4 OR ((((triple3) -> rule7)) -> rule3) OR ((triple5 ((((triple5 triple3) -> rule4) triple3) -> rule2)) -> rule1))] Charlie is young.[(triple5 OR ((((((((((triple3) -> rule7) triple4) -> rule9) triple3) -> rule5) triple3) -> rule2) ((((((triple3) -> rule7) triple4) -> rule9) triple3) -> rule5)) -> rule6) OR ((((((((((triple3) -> rule7) triple4) -> rule9) triple3) -> rule5) triple3) -> rule2) ((((((triple3) -> rule7) ((((triple3) -> rule7)) -> rule3)) -> rule9) triple3) -> rule5)) -> rule6) OR ((((((((((triple3) -> rule7) ((((triple3) -> rule7)) -> rule3)) -> rule9) triple3) -> rule5) triple3) -> rule2) ((((((triple3) -> rule7) triple4) -> rule9) triple3) -> rule5)) -> rule6) OR ((((((((((triple3) -> rule7) ((((triple3) -> rule7)) -> rule3)) -> rule9) triple3) -> rule5) triple3) -> rule2) ((((((triple3) -> rule7) ((((triple3) -> rule7)) -> rule3)) -> rule9) triple3) -> rule5)) -> rule6))] Erin is big.[(triple6 OR ((((triple7) -> rule7) triple8) -> rule9) OR ((((triple7) -> rule7) ((((triple7) -> rule7)) -> rule3)) -> rule9) OR ((((triple7) -> rule7) ((triple9 ((((triple9 triple7) -> rule4) triple7) -> rule2)) -> rule1)) -> rule9))] Erin is green.[(triple7)] Erin is round.[(triple8 OR ((((triple7) -> rule7)) -> rule3) OR ((triple9 ((((triple6 triple7) -> rule5) triple7) -> rule2)) -> rule1) OR ((triple9 ((((triple9 triple7) -> rule4) triple7) -> rule2)) -> rule1) OR ((((((((triple6 triple7) -> rule5) triple7) -> rule2) ((triple6 triple7) -> rule5)) -> rule6) ((((triple6 triple7) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((triple6 triple7) -> rule5) triple7) -> rule2) ((triple6 triple7) -> rule5)) -> rule6) ((((triple9 triple7) -> rule4) triple7) -> rule2)) -> rule1))] Erin is young.[(triple9 OR ((((((triple6 triple7) -> rule5) triple7) -> rule2) ((triple6 triple7) -> rule5)) -> rule6) OR ((((((triple6 triple7) -> rule5) triple7) -> rule2) ((((((triple7) -> rule7) triple8) -> rule9) triple7) -> rule5)) -> rule6) OR ((((((((((triple7) -> rule7) triple8) -> rule9) triple7) -> rule5) triple7) -> rule2) ((triple6 triple7) -> rule5)) -> rule6) OR ((((((triple6 triple7) -> rule5) triple7) -> rule2) ((((((triple7) -> rule7) ((((triple7) -> rule7)) -> rule3)) -> rule9) triple7) -> rule5)) -> rule6) OR ((((((((((triple7) -> rule7) triple8) -> rule9) triple7) -> rule5) triple7) -> rule2) ((((((triple7) -> rule7) triple8) -> rule9) triple7) -> rule5)) -> rule6) OR ((((((((((triple7) -> rule7) triple8) -> rule9) triple7) -> rule5) triple7) -> rule2) ((((((triple7) -> rule7) ((((triple7) -> rule7)) -> rule3)) -> rule9) triple7) -> rule5)) -> rule6) OR ((((((((((triple7) -> rule7) ((((triple7) -> rule7)) -> rule3)) -> rule9) triple7) -> rule5) triple7) -> rule2) ((triple6 triple7) -> rule5)) -> rule6) OR ((((((((((triple7) -> rule7) ((((triple7) -> rule7)) -> rule3)) -> rule9) triple7) -> rule5) triple7) -> rule2) ((((((triple7) -> rule7) triple8) -> rule9) triple7) -> rule5)) -> rule6) OR ((((((((((triple7) -> rule7) ((((triple7) -> rule7)) -> rule3)) -> rule9) triple7) -> rule5) triple7) -> rule2) ((((((triple7) -> rule7) ((((triple7) -> rule7)) -> rule3)) -> rule9) triple7) -> rule5)) -> rule6))] Harry is nice.[(triple10)] Harry is white.[(triple11)] @1: Charlie is cold.[(((triple3) -> rule7))] Charlie is nice.[(((triple5 triple3) -> rule4) OR ((((((triple3) -> rule7) triple4) -> rule9) triple3) -> rule5) OR ((((((triple3) -> rule7) ((((triple3) -> rule7)) -> rule3)) -> rule9) triple3) -> rule5))] Erin is cold.[(((triple7) -> rule7))] Erin is nice.[(((triple6 triple7) -> rule5) OR ((triple9 triple7) -> rule4) OR ((((((triple7) -> rule7) triple8) -> rule9) triple7) -> rule5) OR ((((((triple7) -> rule7) ((((triple7) -> rule7)) -> rule3)) -> rule9) triple7) -> rule5))] Harry is young.[(((triple11 triple10) -> rule6))] @2: Charlie is big.[(((((triple3) -> rule7) triple4) -> rule9) OR ((((triple3) -> rule7) ((((triple3) -> rule7)) -> rule3)) -> rule9) OR ((((triple3) -> rule7) ((triple5 ((((triple5 triple3) -> rule4) triple3) -> rule2)) -> rule1)) -> rule9))] Charlie is white.[(((((triple5 triple3) -> rule4) triple3) -> rule2) OR ((((((((triple3) -> rule7) triple4) -> rule9) triple3) -> rule5) triple3) -> rule2) OR ((((((((triple3) -> rule7) ((((triple3) -> rule7)) -> rule3)) -> rule9) triple3) -> rule5) triple3) -> rule2))] Erin is white.[(((((triple6 triple7) -> rule5) triple7) -> rule2) OR ((((triple9 triple7) -> rule4) triple7) -> rule2) OR ((((((((triple7) -> rule7) triple8) -> rule9) triple7) -> rule5) triple7) -> rule2) OR ((((((((triple7) -> rule7) ((((triple7) -> rule7)) -> rule3)) -> rule9) triple7) -> rule5) triple7) -> rule2))] Harry is round.[(((((triple11 triple10) -> rule6) triple11) -> rule1))] @3: Harry is green.[(((triple11 ((((triple11 triple10) -> rule6) triple11) -> rule1)) -> rule8))] @4: Harry is cold.[(((((triple11 ((((triple11 triple10) -> rule6) triple11) -> rule1)) -> rule8)) -> rule7))] @5: Harry is big.[(((((((triple11 ((((triple11 triple10) -> rule6) triple11) -> rule1)) -> rule8)) -> rule7) ((((triple11 triple10) -> rule6) triple11) -> rule1)) -> rule9))]