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