Harry is big. Harry is kind. Harry is nice. Harry is rough. Harry is smart. Harry is white. Harry is young. White, young people are nice. All young, white people are big. If someone is nice then they are white. Big people are nice. Smart people are young. If someone is kind then they are big.
Harry is rough.
@0: Harry is big.[(triple1 OR ((triple2) -> rule6) OR ((triple7 triple6) -> rule2) OR ((triple7 ((triple3) -> rule3)) -> rule2) OR ((((triple5) -> rule5) triple6) -> rule2) OR ((((triple5) -> rule5) ((triple3) -> rule3)) -> rule2))] Harry is kind.[(triple2)] Harry is nice.[(triple3 OR ((triple1) -> rule4) OR ((triple6 triple7) -> rule1) OR ((((triple2) -> rule6)) -> rule4) OR ((((triple7 triple6) -> rule2)) -> rule4) OR ((triple6 ((triple5) -> rule5)) -> rule1) OR ((((((triple5) -> rule5) triple6) -> rule2)) -> rule4))] Harry is rough.[(triple4)] Harry is smart.[(triple5)] Harry is white.[(triple6 OR ((triple3) -> rule3) OR ((((triple1) -> rule4)) -> rule3) OR ((((((triple2) -> rule6)) -> rule4)) -> rule3))] Harry is young.[(triple7 OR ((triple5) -> rule5))]