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