Bob is big. Bob is blue. Bob is kind. Bob is nice. Bob is red. Bob is rough. Bob is round. Erin is big. Erin is blue. Erin is kind. Erin is nice. Erin is red. Erin is rough. Erin is round. If Erin is round then Erin is nice. Big things are kind. Rough things are red. If something is blue then it is nice. If something is blue then it is red. Big, nice things are blue. If Erin is blue then Erin is big. Blue things are big.
Erin is rough.
@0: Bob is big.[(triple1 OR ((triple2) -> rule8))] Bob is blue.[(triple2 OR ((triple1 triple4) -> rule6))] Bob is kind.[(triple3 OR ((triple1) -> rule2) OR ((((triple2) -> rule8)) -> rule2))] Bob is nice.[(triple4 OR ((triple2) -> rule4))] Bob is red.[(triple5 OR ((triple2) -> rule5) OR ((triple6) -> rule3) OR ((((triple1 triple4) -> rule6)) -> rule5))] Bob is rough.[(triple6)] Bob is round.[(triple7)] Erin is big.[(triple8 OR ((triple9) -> rule7) OR ((triple9) -> rule8))] Erin is blue.[(triple9 OR ((triple8 triple11) -> rule6) OR ((triple8 ((triple14) -> rule1)) -> rule6))] Erin is kind.[(triple10 OR ((triple8) -> rule2) OR ((((triple9) -> rule7)) -> rule2) OR ((((triple9) -> rule8)) -> rule2))] Erin is nice.[(triple11 OR ((triple14) -> rule1) OR ((triple9) -> rule4))] Erin is red.[(triple12 OR ((triple13) -> rule3) OR ((triple9) -> rule5) OR ((((triple8 triple11) -> rule6)) -> rule5) OR ((((triple8 ((triple14) -> rule1)) -> rule6)) -> rule5))] Erin is rough.[(triple13)] Erin is round.[(triple14)]