Bob is big. Bob is kind. Bob is red. Fiona is big. Fiona is cold. Fiona is kind. Fiona is red. Fiona is young. Gary is blue. Gary is cold. Gary is kind. Gary is red. Gary is rough. Gary is young. Harry is blue. All red people are blue. If someone is blue then they are young. Red, young people are cold.
Bob is cold.
@0: Bob is big.[(triple1)] Bob is kind.[(triple2)] Bob is red.[(triple3)] Fiona is big.[(triple4)] Fiona is cold.[(triple5 OR ((triple7 triple8) -> rule3) OR ((triple7 ((((triple7) -> rule1)) -> rule2)) -> rule3))] Fiona is kind.[(triple6)] Fiona is red.[(triple7)] Fiona is young.[(triple8 OR ((((triple7) -> rule1)) -> rule2))] Gary is blue.[(triple9 OR ((triple12) -> rule1))] Gary is cold.[(triple10 OR ((triple12 triple14) -> rule3) OR ((triple12 ((triple9) -> rule2)) -> rule3) OR ((triple12 ((((triple12) -> rule1)) -> rule2)) -> rule3))] Gary is kind.[(triple11)] Gary is red.[(triple12)] Gary is rough.[(triple13)] Gary is young.[(triple14 OR ((triple9) -> rule2) OR ((((triple12) -> rule1)) -> rule2))] Harry is blue.[(triple15)] @1: Bob is blue.[(((triple3) -> rule1))] Fiona is blue.[(((triple7) -> rule1))] Harry is young.[(((triple15) -> rule2))] @2: Bob is young.[(((((triple3) -> rule1)) -> rule2))] @3: Bob is cold.[(((triple3 ((((triple3) -> rule1)) -> rule2)) -> rule3))]