Charlie is blue. Charlie is cold. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is round. All round, cold things are red. If something is round and nice then it is red. Red, blue things are nice. If Charlie is nice then Charlie is cold. All blue things are quiet. All quiet things are red.
Charlie is not cold.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2 OR ((triple4) -> rule4) OR ((((triple6 triple1) -> rule3)) -> rule4) OR ((((((triple5) -> rule6) triple1) -> rule3)) -> rule4) OR ((((((((triple1) -> rule5)) -> rule6) triple1) -> rule3)) -> rule4))] Charlie is kind.[(triple3)] Charlie is nice.[(triple4 OR ((triple6 triple1) -> rule3) OR ((((triple5) -> rule6) triple1) -> rule3) OR ((((triple7 triple2) -> rule1) triple1) -> rule3) OR ((((((triple1) -> rule5)) -> rule6) triple1) -> rule3))] Charlie is quiet.[(triple5 OR ((triple1) -> rule5))] Charlie is red.[(triple6 OR ((triple5) -> rule6) OR ((triple7 triple2) -> rule1) OR ((triple7 triple4) -> rule2) OR ((((triple1) -> rule5)) -> rule6) OR ((triple7 ((triple4) -> rule4)) -> rule1))] Charlie is round.[(triple7)]