Bob is blue. Bob is kind. Bob is rough. Bob is smart. Charlie is cold. Charlie is kind. Charlie is rough. Erin is kind. Erin is nice. Harry is kind. All nice things are kind. All big things are kind. Kind things are blue. All kind things are big. All big, cold things are blue. All nice things are rough. Rough, nice things are cold. All big things are blue.
Bob is smart.
@0: Bob is blue.[(triple1 OR ((triple2) -> rule3) OR ((((triple2) -> rule4)) -> rule8))] Bob is kind.[(triple2)] Bob is rough.[(triple3)] Bob is smart.[(triple4)] Charlie is cold.[(triple5)] Charlie is kind.[(triple6)] Charlie is rough.[(triple7)] Erin is kind.[(triple8 OR ((triple9) -> rule1))] Erin is nice.[(triple9)] Harry is kind.[(triple10)] @1: Bob is big.[(((triple2) -> rule4))] Charlie is big.[(((triple6) -> rule4))] Charlie is blue.[(((triple6) -> rule3) OR ((((triple6) -> rule4)) -> rule8) OR ((((triple6) -> rule4) triple5) -> rule5))] Erin is big.[(((triple8) -> rule4) OR ((((triple9) -> rule1)) -> rule4))] Erin is blue.[(((triple8) -> rule3) OR ((((triple8) -> rule4)) -> rule8) OR ((((triple9) -> rule1)) -> rule3) OR ((((((triple9) -> rule1)) -> rule4)) -> rule8) OR ((((triple8) -> rule4) ((((triple9) -> rule6) triple9) -> rule7)) -> rule5) OR ((((((triple9) -> rule1)) -> rule4) ((((triple9) -> rule6) triple9) -> rule7)) -> rule5))] Erin is rough.[(((triple9) -> rule6))] Harry is big.[(((triple10) -> rule4))] Harry is blue.[(((triple10) -> rule3) OR ((((triple10) -> rule4)) -> rule8))] @2: Erin is cold.[(((((triple9) -> rule6) triple9) -> rule7))]