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