Bob is cold. Bob is red. Bob is white. Dave is rough. Dave is white. Fiona is big. Fiona is blue. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is white. Gary is blue. Gary is cold. Gary is red. Gary is white. If something is blue then it is rough. All white, quiet things are rough. All blue things are red. If something is red and rough then it is quiet. If something is quiet and white then it is big. If Bob is quiet and Bob is red then Bob is white.
Bob is cold.
@0: Bob is cold.[(triple1)] Bob is red.[(triple2)] Bob is white.[(triple3)] Dave is rough.[(triple4)] Dave is white.[(triple5)] Fiona is big.[(triple6 OR ((triple8 triple11) -> rule5) OR ((((triple9 triple10) -> rule4) triple11) -> rule5) OR ((((triple9 ((triple7) -> rule1)) -> rule4) triple11) -> rule5) OR ((((((triple7) -> rule3) triple10) -> rule4) triple11) -> rule5) OR ((((((triple7) -> rule3) ((triple7) -> rule1)) -> rule4) triple11) -> rule5))] Fiona is blue.[(triple7)] Fiona is quiet.[(triple8 OR ((triple9 triple10) -> rule4) OR ((triple9 ((triple7) -> rule1)) -> rule4) OR ((((triple7) -> rule3) triple10) -> rule4) OR ((((triple7) -> rule3) ((triple7) -> rule1)) -> rule4))] Fiona is red.[(triple9 OR ((triple7) -> rule3))] Fiona is rough.[(triple10 OR ((triple7) -> rule1) OR ((triple11 triple8) -> rule2))] Fiona is white.[(triple11)] Gary is blue.[(triple12)] Gary is cold.[(triple13)] Gary is red.[(triple14 OR ((triple12) -> rule3))] Gary is white.[(triple15)] @1: Gary is rough.[(((triple12) -> rule1))] @2: Gary is quiet.[(((triple14 ((triple12) -> rule1)) -> rule4) OR ((((triple12) -> rule3) ((triple12) -> rule1)) -> rule4))] @3: Gary is big.[(((((triple14 ((triple12) -> rule1)) -> rule4) triple15) -> rule5) OR ((((((triple12) -> rule3) ((triple12) -> rule1)) -> rule4) triple15) -> rule5))]