Bob is kind. Charlie is nice. Fiona is rough. Harry is kind. Kind people are white. If someone is white and kind then they are big. If someone is big then they are white. Rough people are round. If someone is big then they are red. White, kind people are big.
Bob is round.
@0: Bob is kind.[(triple1)] Charlie is nice.[(triple2)] Fiona is rough.[(triple3)] Harry is kind.[(triple4)] @1: Bob is white.[(((triple1) -> rule1))] Fiona is round.[(((triple3) -> rule4))] Harry is white.[(((triple4) -> rule1))] @2: Bob is big.[(((((triple1) -> rule1) triple1) -> rule2) OR ((((triple1) -> rule1) triple1) -> rule6))] Harry is big.[(((((triple4) -> rule1) triple4) -> rule2) OR ((((triple4) -> rule1) triple4) -> rule6))] @3: Bob is red.[(((((((triple1) -> rule1) triple1) -> rule2)) -> rule5) OR ((((((triple1) -> rule1) triple1) -> rule6)) -> rule5))] Harry is red.[(((((((triple4) -> rule1) triple4) -> rule2)) -> rule5) OR ((((((triple4) -> rule1) triple4) -> rule6)) -> rule5))]