Bob is green. Bob is kind. Bob is red. Bob is round. Bob is white. Erin is red. Erin is rough. Fiona is green. Fiona is young. Harry is green. Green people are rough. If someone is red then they are kind. If Harry is rough and Harry is white then Harry is not young.
Fiona is red.
@0: Bob is green.[(triple1)] Bob is kind.[(triple2 OR ((triple3) -> rule2))] Bob is red.[(triple3)] Bob is round.[(triple4)] Bob is white.[(triple5)] Erin is red.[(triple6)] Erin is rough.[(triple7)] Fiona is green.[(triple8)] Fiona is young.[(triple9)] Harry is green.[(triple10)] @1: Bob is rough.[(((triple1) -> rule1))] Erin is kind.[(((triple6) -> rule2))] Fiona is rough.[(((triple8) -> rule1))] Harry is rough.[(((triple10) -> rule1))]