Charlie is cold. Charlie is quiet. Charlie is white. Fiona is big. Fiona is blue. Fiona is white. Fiona is young. Gary is cold. Gary is quiet. Gary is round. Harry is quiet. Harry is white. If Charlie is quiet then Charlie is cold. If something is cold and quiet then it is young. All quiet things are cold. Cold, young things are big. If Charlie is round and Charlie is young then Charlie is big. If Fiona is quiet then Fiona is big.
Charlie is not quiet.
@0: Charlie is cold.[(triple1 OR ((triple2) -> rule1) OR ((triple2) -> rule3))] Charlie is quiet.[(triple2)] Charlie is white.[(triple3)] Fiona is big.[(triple4)] Fiona is blue.[(triple5)] Fiona is white.[(triple6)] Fiona is young.[(triple7)] Gary is cold.[(triple8 OR ((triple9) -> rule3))] Gary is quiet.[(triple9)] Gary is round.[(triple10)] Harry is quiet.[(triple11)] Harry is white.[(triple12)] @1: Charlie is young.[(((triple1 triple2) -> rule2) OR ((((triple2) -> rule1) triple2) -> rule2) OR ((((triple2) -> rule3) triple2) -> rule2))] Gary is young.[(((triple8 triple9) -> rule2) OR ((((triple9) -> rule3) triple9) -> rule2))] Harry is cold.[(((triple11) -> rule3))] @2: Charlie is big.[(((triple1 ((triple1 triple2) -> rule2)) -> rule4) OR ((((triple2) -> rule1) ((triple1 triple2) -> rule2)) -> rule4) OR ((((triple2) -> rule3) ((triple1 triple2) -> rule2)) -> rule4) OR ((triple1 ((((triple2) -> rule1) triple2) -> rule2)) -> rule4) OR ((triple1 ((((triple2) -> rule3) triple2) -> rule2)) -> rule4) OR ((((triple2) -> rule1) ((((triple2) -> rule1) triple2) -> rule2)) -> rule4) OR ((((triple2) -> rule1) ((((triple2) -> rule3) triple2) -> rule2)) -> rule4) OR ((((triple2) -> rule3) ((((triple2) -> rule1) triple2) -> rule2)) -> rule4) OR ((((triple2) -> rule3) ((((triple2) -> rule3) triple2) -> rule2)) -> rule4))] Gary is big.[(((triple8 ((triple8 triple9) -> rule2)) -> rule4) OR ((((triple9) -> rule3) ((triple8 triple9) -> rule2)) -> rule4) OR ((triple8 ((((triple9) -> rule3) triple9) -> rule2)) -> rule4) OR ((((triple9) -> rule3) ((((triple9) -> rule3) triple9) -> rule2)) -> rule4))] Harry is young.[(((((triple11) -> rule3) triple11) -> rule2))] @3: Harry is big.[(((((triple11) -> rule3) ((((triple11) -> rule3) triple11) -> rule2)) -> rule4))]