Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is round. Charlie is smart. Gary is cold. Gary is nice. Gary is quiet. Harry is cold. Harry is nice. Harry is quiet. Harry is red. Harry is round. Harry is smart. If Harry is nice then Harry is cold. All smart, cold things are kind. If something is kind and round then it is red. If something is nice then it is smart. All round things are cold. Cold, red things are smart. If something is round and red then it is nice. If something is round then it is cold.
Gary is not red.
@0: Charlie is kind.[(triple1 OR ((triple6 ((triple5) -> rule5)) -> rule2) OR ((triple6 ((triple5) -> rule8)) -> rule2) OR ((((triple2) -> rule4) ((triple5) -> rule5)) -> rule2) OR ((((triple2) -> rule4) ((triple5) -> rule8)) -> rule2) OR ((((((triple5 triple4) -> rule7)) -> rule4) ((triple5) -> rule5)) -> rule2) OR ((((((triple5 triple4) -> rule7)) -> rule4) ((triple5) -> rule8)) -> rule2) OR ((((((triple5) -> rule5) triple4) -> rule6) ((triple5) -> rule5)) -> rule2) OR ((((((triple5) -> rule5) triple4) -> rule6) ((triple5) -> rule8)) -> rule2) OR ((((((triple5) -> rule8) triple4) -> rule6) ((triple5) -> rule5)) -> rule2) OR ((((((triple5) -> rule8) triple4) -> rule6) ((triple5) -> rule8)) -> rule2))] Charlie is nice.[(triple2 OR ((triple5 triple4) -> rule7) OR ((triple5 ((triple1 triple5) -> rule3)) -> rule7) OR ((triple5 ((((triple6 ((triple5) -> rule5)) -> rule2) triple5) -> rule3)) -> rule7) OR ((triple5 ((((triple6 ((triple5) -> rule8)) -> rule2) triple5) -> rule3)) -> rule7))] Charlie is quiet.[(triple3)] Charlie is red.[(triple4 OR ((triple1 triple5) -> rule3) OR ((((triple6 ((triple5) -> rule5)) -> rule2) triple5) -> rule3) OR ((((triple6 ((triple5) -> rule8)) -> rule2) triple5) -> rule3) OR ((((((triple2) -> rule4) ((triple5) -> rule5)) -> rule2) triple5) -> rule3) OR ((((((triple2) -> rule4) ((triple5) -> rule8)) -> rule2) triple5) -> rule3))] Charlie is round.[(triple5)] Charlie is smart.[(triple6 OR ((triple2) -> rule4) OR ((((triple5 triple4) -> rule7)) -> rule4) OR ((((triple5) -> rule5) triple4) -> rule6) OR ((((triple5) -> rule8) triple4) -> rule6) OR ((((triple5) -> rule5) ((triple1 triple5) -> rule3)) -> rule6) OR ((((triple5) -> rule8) ((triple1 triple5) -> rule3)) -> rule6) OR ((((triple5 ((triple1 triple5) -> rule3)) -> rule7)) -> rule4))] Gary is cold.[(triple7)] Gary is nice.[(triple8)] Gary is quiet.[(triple9)] Harry is cold.[(triple10 OR ((triple11) -> rule1) OR ((triple14) -> rule5) OR ((triple14) -> rule8) OR ((((triple14 triple13) -> rule7)) -> rule1))] Harry is nice.[(triple11 OR ((triple14 triple13) -> rule7) OR ((triple14 ((((triple15 triple10) -> rule2) triple14) -> rule3)) -> rule7) OR ((triple14 ((((triple15 ((triple14) -> rule5)) -> rule2) triple14) -> rule3)) -> rule7) OR ((triple14 ((((triple15 ((triple14) -> rule8)) -> rule2) triple14) -> rule3)) -> rule7))] Harry is quiet.[(triple12)] Harry is red.[(triple13 OR ((((triple15 triple10) -> rule2) triple14) -> rule3) OR ((((triple15 ((triple11) -> rule1)) -> rule2) triple14) -> rule3) OR ((((triple15 ((triple14) -> rule5)) -> rule2) triple14) -> rule3) OR ((((triple15 ((triple14) -> rule8)) -> rule2) triple14) -> rule3) OR ((((((triple11) -> rule4) triple10) -> rule2) triple14) -> rule3) OR ((((((triple11) -> rule4) ((triple11) -> rule1)) -> rule2) triple14) -> rule3) OR ((((((triple11) -> rule4) ((triple14) -> rule5)) -> rule2) triple14) -> rule3) OR ((((((triple11) -> rule4) ((triple14) -> rule8)) -> rule2) triple14) -> rule3))] Harry is round.[(triple14)] Harry is smart.[(triple15 OR ((triple11) -> rule4) OR ((triple10 triple13) -> rule6) OR ((((triple14 triple13) -> rule7)) -> rule4) OR ((((triple11) -> rule1) triple13) -> rule6) OR ((((triple14) -> rule5) triple13) -> rule6) OR ((((triple14) -> rule8) triple13) -> rule6) OR ((((((triple14 triple13) -> rule7)) -> rule1) triple13) -> rule6))] @1: Charlie is cold.[(((triple5) -> rule5) OR ((triple5) -> rule8))] Gary is smart.[(((triple8) -> rule4))] Harry is kind.[(((triple15 triple10) -> rule2) OR ((triple15 ((triple11) -> rule1)) -> rule2) OR ((triple15 ((triple14) -> rule5)) -> rule2) OR ((triple15 ((triple14) -> rule8)) -> rule2) OR ((((triple11) -> rule4) triple10) -> rule2) OR ((((triple10 triple13) -> rule6) triple10) -> rule2) OR ((((triple11) -> rule4) ((triple11) -> rule1)) -> rule2) OR ((((triple11) -> rule4) ((triple14) -> rule5)) -> rule2) OR ((((triple11) -> rule4) ((triple14) -> rule8)) -> rule2) OR ((((triple10 triple13) -> rule6) ((triple11) -> rule1)) -> rule2) OR ((((triple10 triple13) -> rule6) ((triple14) -> rule5)) -> rule2) OR ((((triple10 triple13) -> rule6) ((triple14) -> rule8)) -> rule2) OR ((triple15 ((((triple14 triple13) -> rule7)) -> rule1)) -> rule2) OR ((((((triple14 triple13) -> rule7)) -> rule4) triple10) -> rule2) OR ((((((triple11) -> rule1) triple13) -> rule6) triple10) -> rule2) OR ((((((triple14) -> rule5) triple13) -> rule6) triple10) -> rule2) OR ((((((triple14) -> rule8) triple13) -> rule6) triple10) -> rule2) OR ((((triple11) -> rule4) ((((triple14 triple13) -> rule7)) -> rule1)) -> rule2) OR ((((((triple14 triple13) -> rule7)) -> rule4) ((triple11) -> rule1)) -> rule2) OR ((((((triple14 triple13) -> rule7)) -> rule4) ((triple14) -> rule5)) -> rule2) OR ((((((triple14 triple13) -> rule7)) -> rule4) ((triple14) -> rule8)) -> rule2) OR ((((triple10 triple13) -> rule6) ((((triple14 triple13) -> rule7)) -> rule1)) -> rule2) OR ((((((triple11) -> rule1) triple13) -> rule6) ((triple11) -> rule1)) -> rule2) OR ((((((triple11) -> rule1) triple13) -> rule6) ((triple14) -> rule5)) -> rule2) OR ((((((triple11) -> rule1) triple13) -> rule6) ((triple14) -> rule8)) -> rule2) OR ((((((triple14) -> rule5) triple13) -> rule6) ((triple11) -> rule1)) -> rule2) OR ((((((triple14) -> rule5) triple13) -> rule6) ((triple14) -> rule5)) -> rule2) OR ((((((triple14) -> rule5) triple13) -> rule6) ((triple14) -> rule8)) -> rule2) OR ((((((triple14) -> rule8) triple13) -> rule6) ((triple11) -> rule1)) -> rule2) OR ((((((triple14) -> rule8) triple13) -> rule6) ((triple14) -> rule5)) -> rule2) OR ((((((triple14) -> rule8) triple13) -> rule6) ((triple14) -> rule8)) -> rule2) OR ((((((triple14 triple13) -> rule7)) -> rule4) ((((triple14 triple13) -> rule7)) -> rule1)) -> rule2) OR ((((((triple11) -> rule1) triple13) -> rule6) ((((triple14 triple13) -> rule7)) -> rule1)) -> rule2) OR ((((((triple14) -> rule5) triple13) -> rule6) ((((triple14 triple13) -> rule7)) -> rule1)) -> rule2) OR ((((((triple14) -> rule8) triple13) -> rule6) ((((triple14 triple13) -> rule7)) -> rule1)) -> rule2) OR ((((((((triple14 triple13) -> rule7)) -> rule1) triple13) -> rule6) triple10) -> rule2) OR ((((((((triple14 triple13) -> rule7)) -> rule1) triple13) -> rule6) ((triple11) -> rule1)) -> rule2) OR ((((((((triple14 triple13) -> rule7)) -> rule1) triple13) -> rule6) ((triple14) -> rule5)) -> rule2) OR ((((((((triple14 triple13) -> rule7)) -> rule1) triple13) -> rule6) ((triple14) -> rule8)) -> rule2) OR ((((((((triple14 triple13) -> rule7)) -> rule1) triple13) -> rule6) ((((triple14 triple13) -> rule7)) -> rule1)) -> rule2))] @2: Gary is kind.[(((((triple8) -> rule4) triple7) -> rule2))]