Bob is nice. Dave is big. Erin is furry. Erin is nice. Erin is rough. Harry is cold. Harry is white. All rough people are furry. If someone is rough and cold then they are white. If someone is nice then they are big. Furry, nice people are big. All big people are red. All nice, big people are rough. All furry, big people are cold. All cold, white people are rough.
Bob is big.
@0: Bob is nice.[(triple1)] Dave is big.[(triple2)] Erin is furry.[(triple3 OR ((triple5) -> rule1) OR ((((triple4 ((triple4) -> rule3)) -> rule6)) -> rule1))] Erin is nice.[(triple4)] Erin is rough.[(triple5 OR ((triple4 ((triple4) -> rule3)) -> rule6) OR ((triple4 ((triple3 triple4) -> rule4)) -> rule6))] Harry is cold.[(triple6)] Harry is white.[(triple7)] @1: Bob is big.[(((triple1) -> rule3))] Dave is red.[(((triple2) -> rule5))] Erin is big.[(((triple4) -> rule3) OR ((triple3 triple4) -> rule4) OR ((((triple5) -> rule1) triple4) -> rule4))] Harry is rough.[(((triple6 triple7) -> rule8))] @2: Bob is red.[(((((triple1) -> rule3)) -> rule5))] Bob is rough.[(((triple1 ((triple1) -> rule3)) -> rule6))] Erin is cold.[(((triple3 ((triple4) -> rule3)) -> rule7) OR ((triple3 ((triple3 triple4) -> rule4)) -> rule7) OR ((((triple5) -> rule1) ((triple4) -> rule3)) -> rule7) OR ((((triple5) -> rule1) ((triple3 triple4) -> rule4)) -> rule7) OR ((triple3 ((((triple5) -> rule1) triple4) -> rule4)) -> rule7) OR ((((triple5) -> rule1) ((((triple5) -> rule1) triple4) -> rule4)) -> rule7) OR ((((((triple4 ((triple4) -> rule3)) -> rule6)) -> rule1) ((triple4) -> rule3)) -> rule7) OR ((((((triple4 ((triple4) -> rule3)) -> rule6)) -> rule1) ((triple3 triple4) -> rule4)) -> rule7) OR ((((((triple4 ((triple4) -> rule3)) -> rule6)) -> rule1) ((((triple5) -> rule1) triple4) -> rule4)) -> rule7))] Erin is red.[(((((triple4) -> rule3)) -> rule5) OR ((((triple3 triple4) -> rule4)) -> rule5) OR ((((((triple5) -> rule1) triple4) -> rule4)) -> rule5))] Harry is furry.[(((((triple6 triple7) -> rule8)) -> rule1))] @3: Bob is furry.[(((((triple1 ((triple1) -> rule3)) -> rule6)) -> rule1))] Erin is white.[(((triple5 ((triple3 ((triple4) -> rule3)) -> rule7)) -> rule2) OR ((triple5 ((triple3 ((triple3 triple4) -> rule4)) -> rule7)) -> rule2) OR ((triple5 ((((triple5) -> rule1) ((triple4) -> rule3)) -> rule7)) -> rule2) OR ((triple5 ((((triple5) -> rule1) ((triple3 triple4) -> rule4)) -> rule7)) -> rule2) OR ((((triple4 ((triple4) -> rule3)) -> rule6) ((triple3 ((triple4) -> rule3)) -> rule7)) -> rule2) OR ((((triple4 ((triple4) -> rule3)) -> rule6) ((triple3 ((triple3 triple4) -> rule4)) -> rule7)) -> rule2) OR ((((triple4 ((triple3 triple4) -> rule4)) -> rule6) ((triple3 ((triple4) -> rule3)) -> rule7)) -> rule2) OR ((((triple4 ((triple3 triple4) -> rule4)) -> rule6) ((triple3 ((triple3 triple4) -> rule4)) -> rule7)) -> rule2) OR ((((triple4 ((triple4) -> rule3)) -> rule6) ((((triple5) -> rule1) ((triple4) -> rule3)) -> rule7)) -> rule2) OR ((((triple4 ((triple4) -> rule3)) -> rule6) ((((triple5) -> rule1) ((triple3 triple4) -> rule4)) -> rule7)) -> rule2) OR ((((triple4 ((triple3 triple4) -> rule4)) -> rule6) ((((triple5) -> rule1) ((triple4) -> rule3)) -> rule7)) -> rule2) OR ((((triple4 ((triple3 triple4) -> rule4)) -> rule6) ((((triple5) -> rule1) ((triple3 triple4) -> rule4)) -> rule7)) -> rule2) OR ((triple5 ((triple3 ((((triple5) -> rule1) triple4) -> rule4)) -> rule7)) -> rule2) OR ((triple5 ((((triple5) -> rule1) ((((triple5) -> rule1) triple4) -> rule4)) -> rule7)) -> rule2) OR ((((triple4 ((triple4) -> rule3)) -> rule6) ((triple3 ((((triple5) -> rule1) triple4) -> rule4)) -> rule7)) -> rule2) OR ((((triple4 ((triple3 triple4) -> rule4)) -> rule6) ((triple3 ((((triple5) -> rule1) triple4) -> rule4)) -> rule7)) -> rule2) OR ((((triple4 ((triple4) -> rule3)) -> rule6) ((((triple5) -> rule1) ((((triple5) -> rule1) triple4) -> rule4)) -> rule7)) -> rule2) OR ((((triple4 ((triple3 triple4) -> rule4)) -> rule6) ((((triple5) -> rule1) ((((triple5) -> rule1) triple4) -> rule4)) -> rule7)) -> rule2) OR ((triple5 ((((((triple4 ((triple4) -> rule3)) -> rule6)) -> rule1) ((triple4) -> rule3)) -> rule7)) -> rule2) OR ((triple5 ((((((triple4 ((triple4) -> rule3)) -> rule6)) -> rule1) ((triple3 triple4) -> rule4)) -> rule7)) -> rule2) OR ((triple5 ((((((triple4 ((triple4) -> rule3)) -> rule6)) -> rule1) ((((triple5) -> rule1) triple4) -> rule4)) -> rule7)) -> rule2) OR ((((triple4 ((triple4) -> rule3)) -> rule6) ((((((triple4 ((triple4) -> rule3)) -> rule6)) -> rule1) ((triple4) -> rule3)) -> rule7)) -> rule2) OR ((((triple4 ((triple4) -> rule3)) -> rule6) ((((((triple4 ((triple4) -> rule3)) -> rule6)) -> rule1) ((triple3 triple4) -> rule4)) -> rule7)) -> rule2) OR ((((triple4 ((triple3 triple4) -> rule4)) -> rule6) ((((((triple4 ((triple4) -> rule3)) -> rule6)) -> rule1) ((triple4) -> rule3)) -> rule7)) -> rule2) OR ((((triple4 ((triple3 triple4) -> rule4)) -> rule6) ((((((triple4 ((triple4) -> rule3)) -> rule6)) -> rule1) ((triple3 triple4) -> rule4)) -> rule7)) -> rule2) OR ((((triple4 ((triple4) -> rule3)) -> rule6) ((((((triple4 ((triple4) -> rule3)) -> rule6)) -> rule1) ((((triple5) -> rule1) triple4) -> rule4)) -> rule7)) -> rule2) OR ((((triple4 ((triple3 triple4) -> rule4)) -> rule6) ((((((triple4 ((triple4) -> rule3)) -> rule6)) -> rule1) ((((triple5) -> rule1) triple4) -> rule4)) -> rule7)) -> rule2))] @4: Bob is cold.[(((((((triple1 ((triple1) -> rule3)) -> rule6)) -> rule1) ((triple1) -> rule3)) -> rule7))] @5: Bob is white.[(((((triple1 ((triple1) -> rule3)) -> rule6) ((((((triple1 ((triple1) -> rule3)) -> rule6)) -> rule1) ((triple1) -> rule3)) -> rule7)) -> rule2))]