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