Bob is cold. Bob is furry. Bob is green. Bob is kind. Bob is nice. Bob is red. Bob is round. Erin is cold. Erin is furry. Erin is green. Erin is kind. Erin is nice. Erin is red. Erin is round. If something is cold and kind then it is furry. If Erin is cold then Erin is red. If something is cold and round then it is red. All furry things are kind. All green things are furry. If Bob is cold then Bob is round. Red things are nice. If something is cold and green then it is kind.
Bob is not round.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2 OR ((triple3) -> rule5) OR ((triple1 triple4) -> rule1) OR ((triple1 ((triple1 triple3) -> rule8)) -> rule1))] Bob is green.[(triple3)] Bob is kind.[(triple4 OR ((triple2) -> rule4) OR ((triple1 triple3) -> rule8) OR ((((triple3) -> rule5)) -> rule4))] Bob is nice.[(triple5 OR ((triple6) -> rule7) OR ((((triple1 triple7) -> rule3)) -> rule7) OR ((((triple1 ((triple1) -> rule6)) -> rule3)) -> rule7))] Bob is red.[(triple6 OR ((triple1 triple7) -> rule3) OR ((triple1 ((triple1) -> rule6)) -> rule3))] Bob is round.[(triple7 OR ((triple1) -> rule6))] Erin is cold.[(triple8)] Erin is furry.[(triple9 OR ((triple10) -> rule5) OR ((triple8 triple11) -> rule1) OR ((triple8 ((triple8 triple10) -> rule8)) -> rule1))] Erin is green.[(triple10)] Erin is kind.[(triple11 OR ((triple9) -> rule4) OR ((triple8 triple10) -> rule8) OR ((((triple10) -> rule5)) -> rule4))] Erin is nice.[(triple12 OR ((triple13) -> rule7) OR ((((triple8) -> rule2)) -> rule7) OR ((((triple8 triple14) -> rule3)) -> rule7))] Erin is red.[(triple13 OR ((triple8) -> rule2) OR ((triple8 triple14) -> rule3))] Erin is round.[(triple14)]