Bob is kind. Bob is red. Bob is young. Fiona is big. Fiona is blue. Fiona is cold. Fiona is kind. Fiona is red. Gary is big. Gary is blue. If something is big then it is cold. All white, kind things are big. White, young things are big. If something is white then it is kind. If something is blue and big then it is red. If Gary is young then Gary is blue. All white, young things are blue. If something is red and blue then it is white.
Fiona is cold.
@0: Bob is kind.[(triple1)] Bob is red.[(triple2)] Bob is young.[(triple3)] Fiona is big.[(triple4 OR ((((triple8 triple5) -> rule8) triple7) -> rule2) OR ((((triple8 triple5) -> rule8) ((((triple8 triple5) -> rule8)) -> rule4)) -> rule2))] Fiona is blue.[(triple5)] Fiona is cold.[(triple6 OR ((triple4) -> rule1) OR ((((((triple8 triple5) -> rule8) triple7) -> rule2)) -> rule1) OR ((((((triple8 triple5) -> rule8) ((((triple8 triple5) -> rule8)) -> rule4)) -> rule2)) -> rule1))] Fiona is kind.[(triple7 OR ((((triple8 triple5) -> rule8)) -> rule4) OR ((((((triple5 triple4) -> rule5) triple5) -> rule8)) -> rule4))] Fiona is red.[(triple8 OR ((triple5 triple4) -> rule5))] Gary is big.[(triple9)] Gary is blue.[(triple10)] @1: Fiona is white.[(((triple8 triple5) -> rule8) OR ((((triple5 triple4) -> rule5) triple5) -> rule8))] Gary is cold.[(((triple9) -> rule1))] Gary is red.[(((triple10 triple9) -> rule5))] @2: Gary is white.[(((((triple10 triple9) -> rule5) triple10) -> rule8))] @3: Gary is kind.[(((((((triple10 triple9) -> rule5) triple10) -> rule8)) -> rule4))]