Charlie is big. Charlie is kind. Charlie is nice. Charlie is round. Erin is round. Fiona is cold. Fiona is kind. Fiona is round. Harry is round. Harry is smart. If something is blue then it is cold. Blue, cold things are nice. Blue things are big. All round things are blue. Smart things are blue. Round, smart things are kind. All nice, round things are smart. Nice, round things are big.
Harry is nice.
@0: Charlie is big.[(triple1 OR ((triple3 triple4) -> rule8) OR ((((triple4) -> rule4)) -> rule3) OR ((((((triple3 triple4) -> rule7)) -> rule5)) -> rule3) OR ((((((triple4) -> rule4) ((((triple4) -> rule4)) -> rule1)) -> rule2) triple4) -> rule8))] Charlie is kind.[(triple2 OR ((triple4 ((triple3 triple4) -> rule7)) -> rule6) OR ((triple4 ((((((triple4) -> rule4) ((((triple4) -> rule4)) -> rule1)) -> rule2) triple4) -> rule7)) -> rule6))] Charlie is nice.[(triple3 OR ((((triple4) -> rule4) ((((triple4) -> rule4)) -> rule1)) -> rule2))] Charlie is round.[(triple4)] Erin is round.[(triple5)] Fiona is cold.[(triple6 OR ((((triple8) -> rule4)) -> rule1))] Fiona is kind.[(triple7 OR ((triple8 ((((((triple8) -> rule4) triple6) -> rule2) triple8) -> rule7)) -> rule6) OR ((triple8 ((((((triple8) -> rule4) ((((triple8) -> rule4)) -> rule1)) -> rule2) triple8) -> rule7)) -> rule6))] Fiona is round.[(triple8)] Harry is round.[(triple9)] Harry is smart.[(triple10 OR ((((((triple9) -> rule4) ((((triple9) -> rule4)) -> rule1)) -> rule2) triple9) -> rule7))] @1: Charlie is blue.[(((triple4) -> rule4) OR ((((triple3 triple4) -> rule7)) -> rule5))] Charlie is smart.[(((triple3 triple4) -> rule7) OR ((((((triple4) -> rule4) ((((triple4) -> rule4)) -> rule1)) -> rule2) triple4) -> rule7))] Erin is blue.[(((triple5) -> rule4))] Fiona is blue.[(((triple8) -> rule4))] Harry is blue.[(((triple10) -> rule5) OR ((triple9) -> rule4))] Harry is kind.[(((triple9 triple10) -> rule6) OR ((triple9 ((((((triple9) -> rule4) ((((triple9) -> rule4)) -> rule1)) -> rule2) triple9) -> rule7)) -> rule6))] @2: Charlie is cold.[(((((triple4) -> rule4)) -> rule1) OR ((((((triple3 triple4) -> rule7)) -> rule5)) -> rule1))] Erin is big.[(((((triple5) -> rule4)) -> rule3) OR ((((((triple5) -> rule4) ((((triple5) -> rule4)) -> rule1)) -> rule2) triple5) -> rule8))] Erin is cold.[(((((triple5) -> rule4)) -> rule1))] Fiona is big.[(((((triple8) -> rule4)) -> rule3) OR ((((((triple8) -> rule4) triple6) -> rule2) triple8) -> rule8) OR ((((((triple8) -> rule4) ((((triple8) -> rule4)) -> rule1)) -> rule2) triple8) -> rule8))] Fiona is nice.[(((((triple8) -> rule4) triple6) -> rule2) OR ((((triple8) -> rule4) ((((triple8) -> rule4)) -> rule1)) -> rule2))] Harry is big.[(((((triple10) -> rule5)) -> rule3) OR ((((triple9) -> rule4)) -> rule3) OR ((((((triple10) -> rule5) ((((triple10) -> rule5)) -> rule1)) -> rule2) triple9) -> rule8) OR ((((((triple10) -> rule5) ((((triple9) -> rule4)) -> rule1)) -> rule2) triple9) -> rule8) OR ((((((triple9) -> rule4) ((((triple10) -> rule5)) -> rule1)) -> rule2) triple9) -> rule8) OR ((((((triple9) -> rule4) ((((triple9) -> rule4)) -> rule1)) -> rule2) triple9) -> rule8))] Harry is cold.[(((((triple10) -> rule5)) -> rule1) OR ((((triple9) -> rule4)) -> rule1))] @3: Erin is nice.[(((((triple5) -> rule4) ((((triple5) -> rule4)) -> rule1)) -> rule2))] Fiona is smart.[(((((((triple8) -> rule4) triple6) -> rule2) triple8) -> rule7) OR ((((((triple8) -> rule4) ((((triple8) -> rule4)) -> rule1)) -> rule2) triple8) -> rule7))] Harry is nice.[(((((triple10) -> rule5) ((((triple10) -> rule5)) -> rule1)) -> rule2) OR ((((triple10) -> rule5) ((((triple9) -> rule4)) -> rule1)) -> rule2) OR ((((triple9) -> rule4) ((((triple10) -> rule5)) -> rule1)) -> rule2) OR ((((triple9) -> rule4) ((((triple9) -> rule4)) -> rule1)) -> rule2))] @4: Erin is smart.[(((((((triple5) -> rule4) ((((triple5) -> rule4)) -> rule1)) -> rule2) triple5) -> rule7))] @5: Erin is kind.[(((triple5 ((((((triple5) -> rule4) ((((triple5) -> rule4)) -> rule1)) -> rule2) triple5) -> rule7)) -> rule6))]