Dave is blue. Dave is nice. Dave is red. Dave is smart. Dave is young. Erin is blue. Gary is red. Harry is blue. Harry is furry. Harry is nice. Harry is rough. Harry is smart. All blue people are rough. Rough, nice people are red. All red people are blue. If someone is blue and smart then they are nice. All furry, blue people are smart. If someone is blue and red then they are furry.
Erin is not rough.
@0: Dave is blue.[(triple1 OR ((triple3) -> rule3))] Dave is nice.[(triple2 OR ((triple1 triple4) -> rule4) OR ((((triple3) -> rule3) triple4) -> rule4) OR ((triple1 ((((triple1 triple3) -> rule6) triple1) -> rule5)) -> rule4) OR ((triple1 ((((triple1 triple3) -> rule6) ((triple3) -> rule3)) -> rule5)) -> rule4) OR ((((triple3) -> rule3) ((((triple1 triple3) -> rule6) triple1) -> rule5)) -> rule4) OR ((((triple3) -> rule3) ((((triple1 triple3) -> rule6) ((triple3) -> rule3)) -> rule5)) -> rule4) OR ((triple1 ((((((triple3) -> rule3) triple3) -> rule6) triple1) -> rule5)) -> rule4) OR ((triple1 ((((((triple3) -> rule3) triple3) -> rule6) ((triple3) -> rule3)) -> rule5)) -> rule4) OR ((((triple3) -> rule3) ((((((triple3) -> rule3) triple3) -> rule6) triple1) -> rule5)) -> rule4) OR ((((triple3) -> rule3) ((((((triple3) -> rule3) triple3) -> rule6) ((triple3) -> rule3)) -> rule5)) -> rule4))] Dave is red.[(triple3 OR ((((triple1) -> rule1) triple2) -> rule2) OR ((((triple1) -> rule1) ((triple1 triple4) -> rule4)) -> rule2))] Dave is smart.[(triple4 OR ((((triple1 triple3) -> rule6) triple1) -> rule5) OR ((((triple1 triple3) -> rule6) ((triple3) -> rule3)) -> rule5) OR ((((((triple3) -> rule3) triple3) -> rule6) triple1) -> rule5) OR ((((((triple3) -> rule3) triple3) -> rule6) ((triple3) -> rule3)) -> rule5) OR ((((triple1 ((((triple1) -> rule1) triple2) -> rule2)) -> rule6) triple1) -> rule5) OR ((((triple1 ((((triple1) -> rule1) triple2) -> rule2)) -> rule6) ((triple3) -> rule3)) -> rule5) OR ((((((triple3) -> rule3) ((((triple1) -> rule1) triple2) -> rule2)) -> rule6) triple1) -> rule5) OR ((((((triple3) -> rule3) ((((triple1) -> rule1) triple2) -> rule2)) -> rule6) ((triple3) -> rule3)) -> rule5))] Dave is young.[(triple5)] Erin is blue.[(triple6)] Gary is red.[(triple7)] Harry is blue.[(triple8 OR ((((triple11 triple10) -> rule2)) -> rule3))] Harry is furry.[(triple9 OR ((triple8 ((triple11 triple10) -> rule2)) -> rule6) OR ((triple8 ((triple11 ((triple8 triple12) -> rule4)) -> rule2)) -> rule6) OR ((triple8 ((((triple8) -> rule1) triple10) -> rule2)) -> rule6) OR ((triple8 ((((triple8) -> rule1) ((triple8 triple12) -> rule4)) -> rule2)) -> rule6) OR ((((((triple11 triple10) -> rule2)) -> rule3) ((triple11 triple10) -> rule2)) -> rule6) OR ((((((triple11 triple10) -> rule2)) -> rule3) ((triple11 ((triple8 triple12) -> rule4)) -> rule2)) -> rule6) OR ((((((triple11 triple10) -> rule2)) -> rule3) ((((triple8) -> rule1) triple10) -> rule2)) -> rule6) OR ((((((triple11 triple10) -> rule2)) -> rule3) ((((triple8) -> rule1) ((triple8 triple12) -> rule4)) -> rule2)) -> rule6))] Harry is nice.[(triple10 OR ((triple8 triple12) -> rule4) OR ((triple8 ((triple9 triple8) -> rule5)) -> rule4))] Harry is rough.[(triple11 OR ((triple8) -> rule1))] Harry is smart.[(triple12 OR ((triple9 triple8) -> rule5) OR ((triple9 ((((triple11 triple10) -> rule2)) -> rule3)) -> rule5) OR ((((triple8 ((triple11 triple10) -> rule2)) -> rule6) triple8) -> rule5) OR ((((triple8 ((triple11 triple10) -> rule2)) -> rule6) ((((triple11 triple10) -> rule2)) -> rule3)) -> rule5) OR ((((triple8 ((((triple8) -> rule1) triple10) -> rule2)) -> rule6) triple8) -> rule5) OR ((((((((triple11 triple10) -> rule2)) -> rule3) ((triple11 triple10) -> rule2)) -> rule6) triple8) -> rule5) OR ((((triple8 ((((triple8) -> rule1) triple10) -> rule2)) -> rule6) ((((triple11 triple10) -> rule2)) -> rule3)) -> rule5) OR ((((((((triple11 triple10) -> rule2)) -> rule3) ((((triple8) -> rule1) triple10) -> rule2)) -> rule6) triple8) -> rule5) OR ((((((((triple11 triple10) -> rule2)) -> rule3) ((triple11 triple10) -> rule2)) -> rule6) ((((triple11 triple10) -> rule2)) -> rule3)) -> rule5) OR ((((((((triple11 triple10) -> rule2)) -> rule3) ((((triple8) -> rule1) triple10) -> rule2)) -> rule6) ((((triple11 triple10) -> rule2)) -> rule3)) -> rule5))] @1: Dave is furry.[(((triple1 triple3) -> rule6) OR ((((triple3) -> rule3) triple3) -> rule6) OR ((triple1 ((((triple1) -> rule1) triple2) -> rule2)) -> rule6) OR ((triple1 ((((triple1) -> rule1) ((triple1 triple4) -> rule4)) -> rule2)) -> rule6) OR ((((triple3) -> rule3) ((((triple1) -> rule1) triple2) -> rule2)) -> rule6) OR ((((triple3) -> rule3) ((((triple1) -> rule1) ((triple1 triple4) -> rule4)) -> rule2)) -> rule6))] Dave is rough.[(((triple1) -> rule1) OR ((((triple3) -> rule3)) -> rule1))] Erin is rough.[(((triple6) -> rule1))] Gary is blue.[(((triple7) -> rule3))] Harry is red.[(((triple11 triple10) -> rule2) OR ((triple11 ((triple8 triple12) -> rule4)) -> rule2) OR ((((triple8) -> rule1) triple10) -> rule2) OR ((((triple8) -> rule1) ((triple8 triple12) -> rule4)) -> rule2) OR ((triple11 ((triple8 ((triple9 triple8) -> rule5)) -> rule4)) -> rule2) OR ((((triple8) -> rule1) ((triple8 ((triple9 triple8) -> rule5)) -> rule4)) -> rule2))] @2: Gary is furry.[(((((triple7) -> rule3) triple7) -> rule6))] Gary is rough.[(((((triple7) -> rule3)) -> rule1))] @3: Gary is smart.[(((((((triple7) -> rule3) triple7) -> rule6) ((triple7) -> rule3)) -> rule5))] @4: Gary is nice.[(((((triple7) -> rule3) ((((((triple7) -> rule3) triple7) -> rule6) ((triple7) -> rule3)) -> rule5)) -> rule4))]