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