Bob is big. Bob is blue. Bob is nice. Fiona is cold. Fiona is nice. Fiona is not rough. Gary is blue. Gary is kind. Gary is nice. Harry is big. Harry is cold. Harry is rough. All blue things are big. If Gary is big and Gary is not kind then Gary is blue. Big, cold things are red. All big things are cold. All rough, blue things are nice. If something is nice and blue then it is rough.
Gary is not rough.
@0: Bob is big.[(triple1 OR ((triple2) -> rule1))] Bob is blue.[(triple2)] Bob is nice.[(triple3)] Fiona is cold.[(triple4)] Fiona is nice.[(triple5)] Fiona is not rough.[(triple6)] Gary is blue.[(triple7)] Gary is kind.[(triple8)] Gary is nice.[(triple9)] Harry is big.[(triple10)] Harry is cold.[(triple11 OR ((triple10) -> rule4))] Harry is rough.[(triple12)] @1: Bob is cold.[(((triple1) -> rule4) OR ((((triple2) -> rule1)) -> rule4))] Bob is rough.[(((triple3 triple2) -> rule6))] Gary is big.[(((triple7) -> rule1))] Gary is rough.[(((triple9 triple7) -> rule6))] Harry is red.[(((triple10 triple11) -> rule3) OR ((triple10 ((triple10) -> rule4)) -> rule3))] @2: Bob is red.[(((triple1 ((triple1) -> rule4)) -> rule3) OR ((((triple2) -> rule1) ((triple1) -> rule4)) -> rule3) OR ((triple1 ((((triple2) -> rule1)) -> rule4)) -> rule3) OR ((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule4)) -> rule3))] Gary is cold.[(((((triple7) -> rule1)) -> rule4))] @3: Gary is red.[(((((triple7) -> rule1) ((((triple7) -> rule1)) -> rule4)) -> rule3))]