Charlie is big. Charlie is quiet. Charlie is red. Fiona is big. Fiona is blue. Fiona is round. Harry is big. Harry is blue. Harry is kind. Harry is round. If Fiona is kind then Fiona is smart. If someone is round then they are blue. Red, big people are kind. Quiet people are red. If Harry is kind then Harry is big. All red people are kind. Kind people are big. All kind people are round.
Fiona is kind.
@0: Charlie is big.[(triple1 OR ((((triple3) -> rule6)) -> rule7) OR ((((((triple2) -> rule4)) -> rule6)) -> rule7))] Charlie is quiet.[(triple2)] Charlie is red.[(triple3 OR ((triple2) -> rule4))] Fiona is big.[(triple4)] Fiona is blue.[(triple5 OR ((triple6) -> rule2))] Fiona is round.[(triple6)] Harry is big.[(triple7 OR ((triple9) -> rule5) OR ((triple9) -> rule7))] Harry is blue.[(triple8 OR ((triple10) -> rule2) OR ((((triple9) -> rule8)) -> rule2))] Harry is kind.[(triple9)] Harry is round.[(triple10 OR ((triple9) -> rule8))] @1: Charlie is kind.[(((triple3) -> rule6) OR ((triple3 triple1) -> rule3) OR ((((triple2) -> rule4)) -> rule6) OR ((((triple2) -> rule4) triple1) -> rule3))] @2: Charlie is round.[(((((triple3) -> rule6)) -> rule8) OR ((((triple3 triple1) -> rule3)) -> rule8) OR ((((((triple2) -> rule4)) -> rule6)) -> rule8) OR ((((((triple2) -> rule4) triple1) -> rule3)) -> rule8))] @3: Charlie is blue.[(((((((triple3) -> rule6)) -> rule8)) -> rule2) OR ((((((triple3 triple1) -> rule3)) -> rule8)) -> rule2) OR ((((((((triple2) -> rule4)) -> rule6)) -> rule8)) -> rule2) OR ((((((((triple2) -> rule4) triple1) -> rule3)) -> rule8)) -> rule2))]