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