Bob is blue. Bob is furry. Bob is kind. Bob is nice. Bob is round. Bob is white. Bob is young. Erin is blue. Erin is not furry. Erin is not kind. Erin is nice. Erin is round. Erin is white. Erin is not young. Harry is furry. Harry is not young. If something is young and white then it is furry. If something is blue and not young then it is white. Round, white things are nice. If Erin is nice and Erin is not young then Erin is white. Kind things are blue. If something is nice and furry then it is blue. Young, blue things are round. If Bob is nice and Bob is not young then Bob is not kind.
Erin is white.
@0: Bob is blue.[(triple1 OR ((triple3) -> rule5) OR ((triple4 triple2) -> rule6) OR ((triple4 ((triple7 triple6) -> rule1)) -> rule6) OR ((((triple5 triple6) -> rule3) triple2) -> rule6) OR ((((triple5 triple6) -> rule3) ((triple7 triple6) -> rule1)) -> rule6))] Bob is furry.[(triple2 OR ((triple7 triple6) -> rule1))] Bob is kind.[(triple3)] Bob is nice.[(triple4 OR ((triple5 triple6) -> rule3) OR ((((triple7 triple1) -> rule7) triple6) -> rule3) OR ((((triple7 ((triple3) -> rule5)) -> rule7) triple6) -> rule3))] Bob is round.[(triple5 OR ((triple7 triple1) -> rule7) OR ((triple7 ((triple3) -> rule5)) -> rule7) OR ((triple7 ((triple4 triple2) -> rule6)) -> rule7) OR ((triple7 ((triple4 ((triple7 triple6) -> rule1)) -> rule6)) -> rule7))] Bob is white.[(triple6)] Bob is young.[(triple7)] Erin is blue.[(triple8)] Erin is nice.[(triple11 OR ((triple12 triple13) -> rule3) OR ((triple12 ((triple8 triple14) -> rule2)) -> rule3))] Erin is not furry.[(triple9)] Erin is not kind.[(triple10)] Erin is not young.[(triple14)] Erin is round.[(triple12)] Erin is white.[(triple13 OR ((triple11 triple14) -> rule4) OR ((triple8 triple14) -> rule2))] Harry is furry.[(triple15)] Harry is not young.[(triple16)]