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