Bob is big. Bob is blue. Bob is cold. Bob is red. Bob is rough. Charlie is not cold. Charlie is green. Gary is blue. Harry is cold. Harry is rough. If someone is quiet and blue then they are big. If someone is rough and quiet then they are red. Green people are rough. If someone is big and blue then they are green. Blue people are quiet. If Gary is not blue then Gary is big.
Gary is green.
@0: Bob is big.[(triple1 OR ((((triple2) -> rule5) triple2) -> rule1))] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is red.[(triple4 OR ((triple5 ((triple2) -> rule5)) -> rule2) OR ((((((triple1 triple2) -> rule4)) -> rule3) ((triple2) -> rule5)) -> rule2) OR ((((((((((triple2) -> rule5) triple2) -> rule1) triple2) -> rule4)) -> rule3) ((triple2) -> rule5)) -> rule2))] Bob is rough.[(triple5 OR ((((triple1 triple2) -> rule4)) -> rule3) OR ((((((((triple2) -> rule5) triple2) -> rule1) triple2) -> rule4)) -> rule3))] Charlie is green.[(triple7)] Charlie is not cold.[(triple6)] Gary is blue.[(triple8)] Harry is cold.[(triple9)] Harry is rough.[(triple10)] @1: Bob is green.[(((triple1 triple2) -> rule4) OR ((((((triple2) -> rule5) triple2) -> rule1) triple2) -> rule4))] Bob is quiet.[(((triple2) -> rule5))] Charlie is rough.[(((triple7) -> rule3))] Gary is quiet.[(((triple8) -> rule5))] @2: Gary is big.[(((((triple8) -> rule5) triple8) -> rule1))] @3: Gary is green.[(((((((triple8) -> rule5) triple8) -> rule1) triple8) -> rule4))] @4: Gary is rough.[(((((((((triple8) -> rule5) triple8) -> rule1) triple8) -> rule4)) -> rule3))] @5: Gary is red.[(((((((((((triple8) -> rule5) triple8) -> rule1) triple8) -> rule4)) -> rule3) ((triple8) -> rule5)) -> rule2))]