Bob is cold. Bob is furry. Bob is nice. Bob is red. Bob is round. Bob is smart. Erin is red. If someone is furry then they are round. If Bob is nice and Bob is big then Bob is smart. All red people are furry. If someone is furry and big then they are round. If someone is red and round then they are nice. All big, cold people are red. All furry people are red. All big people are cold.
Erin is round.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2 OR ((triple4) -> rule3))] Bob is nice.[(triple3 OR ((triple4 triple5) -> rule5) OR ((triple4 ((triple2) -> rule1)) -> rule5) OR ((((triple2) -> rule7) triple5) -> rule5) OR ((((triple2) -> rule7) ((triple2) -> rule1)) -> rule5) OR ((triple4 ((((triple4) -> rule3)) -> rule1)) -> rule5) OR ((((triple2) -> rule7) ((((triple4) -> rule3)) -> rule1)) -> rule5))] Bob is red.[(triple4 OR ((triple2) -> rule7))] Bob is round.[(triple5 OR ((triple2) -> rule1) OR ((((triple4) -> rule3)) -> rule1))] Bob is smart.[(triple6)] Erin is red.[(triple7)] @1: Erin is furry.[(((triple7) -> rule3))] @2: Erin is round.[(((((triple7) -> rule3)) -> rule1))] @3: Erin is nice.[(((triple7 ((((triple7) -> rule3)) -> rule1)) -> rule5))]