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