Bob is cold. Bob is kind. Bob is nice. Bob is red. Bob is white. Charlie is big. Charlie is cold. Charlie is kind. Charlie is red. Charlie is white. Gary is big. Gary is red. Nice people are blue. All blue, cold people are kind. If someone is white then they are nice. If someone is white and nice then they are red. All red people are nice. Kind, blue people are white.
Bob is not big.
@0: Bob is cold.[(triple1)] Bob is kind.[(triple2 OR ((((triple3) -> rule1) triple1) -> rule2) OR ((((((triple4) -> rule5)) -> rule1) triple1) -> rule2) OR ((((((triple5) -> rule3)) -> rule1) triple1) -> rule2))] Bob is nice.[(triple3 OR ((triple4) -> rule5) OR ((triple5) -> rule3))] Bob is red.[(triple4 OR ((triple5 triple3) -> rule4) OR ((triple5 ((triple5) -> rule3)) -> rule4) OR ((((triple2 ((triple3) -> rule1)) -> rule6) triple3) -> rule4) OR ((((triple2 ((triple3) -> rule1)) -> rule6) ((triple5) -> rule3)) -> rule4) OR ((((((((triple3) -> rule1) triple1) -> rule2) ((triple3) -> rule1)) -> rule6) triple3) -> rule4) OR ((((((((triple3) -> rule1) triple1) -> rule2) ((triple3) -> rule1)) -> rule6) ((triple5) -> rule3)) -> rule4))] Bob is white.[(triple5 OR ((triple2 ((triple3) -> rule1)) -> rule6) OR ((triple2 ((((triple4) -> rule5)) -> rule1)) -> rule6) OR ((((((triple3) -> rule1) triple1) -> rule2) ((triple3) -> rule1)) -> rule6) OR ((((((triple3) -> rule1) triple1) -> rule2) ((((triple4) -> rule5)) -> rule1)) -> rule6) OR ((((((((triple4) -> rule5)) -> rule1) triple1) -> rule2) ((triple3) -> rule1)) -> rule6) OR ((((((((triple4) -> rule5)) -> rule1) triple1) -> rule2) ((((triple4) -> rule5)) -> rule1)) -> rule6))] Charlie is big.[(triple6)] Charlie is cold.[(triple7)] Charlie is kind.[(triple8 OR ((((((triple10) -> rule3)) -> rule1) triple7) -> rule2) OR ((((((triple9) -> rule5)) -> rule1) triple7) -> rule2))] Charlie is red.[(triple9 OR ((triple10 ((triple10) -> rule3)) -> rule4))] Charlie is white.[(triple10 OR ((triple8 ((((triple9) -> rule5)) -> rule1)) -> rule6) OR ((((((((triple9) -> rule5)) -> rule1) triple7) -> rule2) ((((triple9) -> rule5)) -> rule1)) -> rule6))] Gary is big.[(triple11)] Gary is red.[(triple12)] @1: Bob is blue.[(((triple3) -> rule1) OR ((((triple4) -> rule5)) -> rule1) OR ((((triple5) -> rule3)) -> rule1))] Charlie is nice.[(((triple10) -> rule3) OR ((triple9) -> rule5))] Gary is nice.[(((triple12) -> rule5))] @2: Charlie is blue.[(((((triple10) -> rule3)) -> rule1) OR ((((triple9) -> rule5)) -> rule1))] Gary is blue.[(((((triple12) -> rule5)) -> rule1))]