Dave is blue. Dave is kind. Dave is rough. Erin is blue. Erin is furry. Erin is quiet. Erin is smart. Gary is blue. Gary is quiet. Harry is big. All blue things are rough. If something is kind and furry then it is big. If something is kind and big then it is rough. All quiet, kind things are rough. All kind things are furry. If something is big then it is quiet. Quiet things are blue. Rough things are kind.
Harry is not smart.
@0: Dave is blue.[(triple1 OR ((((((triple2 ((triple2) -> rule5)) -> rule2)) -> rule6)) -> rule7) OR ((((((((triple3) -> rule8) ((triple2) -> rule5)) -> rule2)) -> rule6)) -> rule7) OR ((((((triple2 ((((triple3) -> rule8)) -> rule5)) -> rule2)) -> rule6)) -> rule7) OR ((((((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule5)) -> rule2)) -> rule6)) -> rule7))] Dave is kind.[(triple2 OR ((triple3) -> rule8) OR ((((triple1) -> rule1)) -> rule8))] Dave is rough.[(triple3 OR ((triple1) -> rule1) OR ((triple2 ((triple2 ((triple2) -> rule5)) -> rule2)) -> rule3) OR ((((((triple2 ((triple2) -> rule5)) -> rule2)) -> rule6) triple2) -> rule4) OR ((((((((triple2 ((triple2) -> rule5)) -> rule2)) -> rule6)) -> rule7)) -> rule1))] Erin is blue.[(triple4 OR ((triple6) -> rule7))] Erin is furry.[(triple5 OR ((((((triple4) -> rule1)) -> rule8)) -> rule5) OR ((((((((triple6) -> rule7)) -> rule1)) -> rule8)) -> rule5))] Erin is quiet.[(triple6 OR ((((((((triple4) -> rule1)) -> rule8) triple5) -> rule2)) -> rule6) OR ((((((((triple4) -> rule1)) -> rule8) ((((((triple4) -> rule1)) -> rule8)) -> rule5)) -> rule2)) -> rule6))] Erin is smart.[(triple7)] Gary is blue.[(triple8 OR ((triple9) -> rule7))] Gary is quiet.[(triple9 OR ((((((((triple8) -> rule1)) -> rule8) ((((((triple8) -> rule1)) -> rule8)) -> rule5)) -> rule2)) -> rule6))] Harry is big.[(triple10)] @1: Dave is furry.[(((triple2) -> rule5) OR ((((triple3) -> rule8)) -> rule5) OR ((((((triple1) -> rule1)) -> rule8)) -> rule5))] Erin is rough.[(((triple4) -> rule1) OR ((((triple6) -> rule7)) -> rule1))] Gary is rough.[(((triple8) -> rule1) OR ((((triple9) -> rule7)) -> rule1))] Harry is quiet.[(((triple10) -> rule6))] @2: Dave is big.[(((triple2 ((triple2) -> rule5)) -> rule2) OR ((((triple3) -> rule8) ((triple2) -> rule5)) -> rule2) OR ((triple2 ((((triple3) -> rule8)) -> rule5)) -> rule2) OR ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule5)) -> rule2) OR ((((((triple1) -> rule1)) -> rule8) ((triple2) -> rule5)) -> rule2) OR ((((((triple1) -> rule1)) -> rule8) ((((triple3) -> rule8)) -> rule5)) -> rule2) OR ((triple2 ((((((triple1) -> rule1)) -> rule8)) -> rule5)) -> rule2) OR ((((triple3) -> rule8) ((((((triple1) -> rule1)) -> rule8)) -> rule5)) -> rule2) OR ((((((triple1) -> rule1)) -> rule8) ((((((triple1) -> rule1)) -> rule8)) -> rule5)) -> rule2))] Erin is kind.[(((((triple4) -> rule1)) -> rule8) OR ((((((triple6) -> rule7)) -> rule1)) -> rule8))] Gary is kind.[(((((triple8) -> rule1)) -> rule8) OR ((((((triple9) -> rule7)) -> rule1)) -> rule8))] Harry is blue.[(((((triple10) -> rule6)) -> rule7))] @3: Dave is quiet.[(((((triple2 ((triple2) -> rule5)) -> rule2)) -> rule6) OR ((((((triple3) -> rule8) ((triple2) -> rule5)) -> rule2)) -> rule6) OR ((((triple2 ((((triple3) -> rule8)) -> rule5)) -> rule2)) -> rule6) OR ((((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule5)) -> rule2)) -> rule6) OR ((((((((triple1) -> rule1)) -> rule8) ((triple2) -> rule5)) -> rule2)) -> rule6) OR ((((((((triple1) -> rule1)) -> rule8) ((((triple3) -> rule8)) -> rule5)) -> rule2)) -> rule6) OR ((((triple2 ((((((triple1) -> rule1)) -> rule8)) -> rule5)) -> rule2)) -> rule6) OR ((((((triple3) -> rule8) ((((((triple1) -> rule1)) -> rule8)) -> rule5)) -> rule2)) -> rule6) OR ((((((((triple1) -> rule1)) -> rule8) ((((((triple1) -> rule1)) -> rule8)) -> rule5)) -> rule2)) -> rule6))] Erin is big.[(((((((triple4) -> rule1)) -> rule8) triple5) -> rule2) OR ((((((((triple6) -> rule7)) -> rule1)) -> rule8) triple5) -> rule2) OR ((((((triple4) -> rule1)) -> rule8) ((((((triple4) -> rule1)) -> rule8)) -> rule5)) -> rule2) OR ((((((((triple6) -> rule7)) -> rule1)) -> rule8) ((((((triple4) -> rule1)) -> rule8)) -> rule5)) -> rule2) OR ((((((triple4) -> rule1)) -> rule8) ((((((((triple6) -> rule7)) -> rule1)) -> rule8)) -> rule5)) -> rule2) OR ((((((((triple6) -> rule7)) -> rule1)) -> rule8) ((((((((triple6) -> rule7)) -> rule1)) -> rule8)) -> rule5)) -> rule2))] Gary is furry.[(((((((triple8) -> rule1)) -> rule8)) -> rule5) OR ((((((((triple9) -> rule7)) -> rule1)) -> rule8)) -> rule5))] Harry is rough.[(((((((triple10) -> rule6)) -> rule7)) -> rule1))] @4: Gary is big.[(((((((triple8) -> rule1)) -> rule8) ((((((triple8) -> rule1)) -> rule8)) -> rule5)) -> rule2) OR ((((((((triple9) -> rule7)) -> rule1)) -> rule8) ((((((triple8) -> rule1)) -> rule8)) -> rule5)) -> rule2) OR ((((((triple8) -> rule1)) -> rule8) ((((((((triple9) -> rule7)) -> rule1)) -> rule8)) -> rule5)) -> rule2) OR ((((((((triple9) -> rule7)) -> rule1)) -> rule8) ((((((((triple9) -> rule7)) -> rule1)) -> rule8)) -> rule5)) -> rule2))] Harry is kind.[(((((((((triple10) -> rule6)) -> rule7)) -> rule1)) -> rule8))] @5: Harry is furry.[(((((((((((triple10) -> rule6)) -> rule7)) -> rule1)) -> rule8)) -> rule5))]