Bob is big. Bob is cold. Bob is furry. Bob is green. Bob is kind. Bob is rough. Bob is round. Erin is big. Erin is cold. Erin is furry. Erin is green. Erin is kind. Erin is rough. Erin is round. Furry, kind people are big. Rough, round people are big. If someone is rough then they are cold. Big people are kind. If someone is cold then they are big. Furry people are big. All round people are cold. If Bob is cold then Bob is kind.
Erin is not round.
@0: Bob is big.[(triple1 OR ((triple2) -> rule5) OR ((triple3) -> rule6) OR ((triple3 triple5) -> rule1) OR ((triple6 triple7) -> rule2) OR ((((triple6) -> rule3)) -> rule5) OR ((((triple7) -> rule7)) -> rule5) OR ((triple3 ((triple2) -> rule8)) -> rule1) OR ((triple3 ((((triple6) -> rule3)) -> rule8)) -> rule1) OR ((triple3 ((((triple7) -> rule7)) -> rule8)) -> rule1))] Bob is cold.[(triple2 OR ((triple6) -> rule3) OR ((triple7) -> rule7))] Bob is furry.[(triple3)] Bob is green.[(triple4)] Bob is kind.[(triple5 OR ((triple1) -> rule4) OR ((triple2) -> rule8) OR ((((triple2) -> rule5)) -> rule4) OR ((((triple3) -> rule6)) -> rule4) OR ((((triple6) -> rule3)) -> rule8) OR ((((triple7) -> rule7)) -> rule8) OR ((((triple6 triple7) -> rule2)) -> rule4) OR ((((((triple6) -> rule3)) -> rule5)) -> rule4) OR ((((((triple7) -> rule7)) -> rule5)) -> rule4))] Bob is rough.[(triple6)] Bob is round.[(triple7)] Erin is big.[(triple8 OR ((triple10) -> rule6) OR ((triple9) -> rule5) OR ((triple10 triple12) -> rule1) OR ((triple13 triple14) -> rule2) OR ((((triple13) -> rule3)) -> rule5) OR ((((triple14) -> rule7)) -> rule5))] Erin is cold.[(triple9 OR ((triple13) -> rule3) OR ((triple14) -> rule7))] Erin is furry.[(triple10)] Erin is green.[(triple11)] Erin is kind.[(triple12 OR ((triple8) -> rule4) OR ((((triple10) -> rule6)) -> rule4) OR ((((triple9) -> rule5)) -> rule4) OR ((((triple13 triple14) -> rule2)) -> rule4) OR ((((((triple13) -> rule3)) -> rule5)) -> rule4) OR ((((((triple14) -> rule7)) -> rule5)) -> rule4))] Erin is rough.[(triple13)] Erin is round.[(triple14)]