Bob is blue. Bob is furry. Bob is rough. Bob is white. Bob is young. Dave is blue. Dave is furry. Dave is kind. Dave is red. Dave is rough. Dave is white. Dave is young. All rough, kind people are red. If someone is young then they are furry. If someone is white and red then they are blue. Young people are furry. If Dave is furry then Dave is young. If someone is rough and furry then they are kind.
Bob is red.
@0: Bob is blue.[(triple1 OR ((triple4 ((triple3 ((triple3 triple2) -> rule6)) -> rule1)) -> rule3) OR ((triple4 ((triple3 ((triple3 ((triple5) -> rule2)) -> rule6)) -> rule1)) -> rule3) OR ((triple4 ((triple3 ((triple3 ((triple5) -> rule4)) -> rule6)) -> rule1)) -> rule3))] Bob is furry.[(triple2 OR ((triple5) -> rule2) OR ((triple5) -> rule4))] Bob is rough.[(triple3)] Bob is white.[(triple4)] Bob is young.[(triple5)] Dave is blue.[(triple6 OR ((triple11 triple9) -> rule3) OR ((triple11 ((triple10 triple8) -> rule1)) -> rule3) OR ((triple11 ((triple10 ((triple10 triple7) -> rule6)) -> rule1)) -> rule3) OR ((triple11 ((triple10 ((triple10 ((triple12) -> rule2)) -> rule6)) -> rule1)) -> rule3) OR ((triple11 ((triple10 ((triple10 ((triple12) -> rule4)) -> rule6)) -> rule1)) -> rule3))] Dave is furry.[(triple7 OR ((triple12) -> rule2) OR ((triple12) -> rule4))] Dave is kind.[(triple8 OR ((triple10 triple7) -> rule6) OR ((triple10 ((triple12) -> rule2)) -> rule6) OR ((triple10 ((triple12) -> rule4)) -> rule6))] Dave is red.[(triple9 OR ((triple10 triple8) -> rule1) OR ((triple10 ((triple10 triple7) -> rule6)) -> rule1) OR ((triple10 ((triple10 ((triple12) -> rule2)) -> rule6)) -> rule1) OR ((triple10 ((triple10 ((triple12) -> rule4)) -> rule6)) -> rule1))] Dave is rough.[(triple10)] Dave is white.[(triple11)] Dave is young.[(triple12 OR ((triple7) -> rule5))] @1: Bob is kind.[(((triple3 triple2) -> rule6) OR ((triple3 ((triple5) -> rule2)) -> rule6) OR ((triple3 ((triple5) -> rule4)) -> rule6))] @2: Bob is red.[(((triple3 ((triple3 triple2) -> rule6)) -> rule1) OR ((triple3 ((triple3 ((triple5) -> rule2)) -> rule6)) -> rule1) OR ((triple3 ((triple3 ((triple5) -> rule4)) -> rule6)) -> rule1))]