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