Anne is blue. Anne is red. Anne is rough. Anne is round. Anne is white. Bob is rough. Bob is round. Bob is white. Harry is blue. Harry is red. Harry is rough. Harry is round. Harry is smart. Harry is white. Harry is young. If someone is red then they are blue. White people are red. If Anne is red and Anne is round then Anne is rough. If someone is rough and blue then they are smart. Smart, young people are red. If someone is white then they are rough. If someone is young then they are blue. All young, white people are red.
Bob is red.
@0: Anne is blue.[(triple1 OR ((triple2) -> rule1) OR ((((triple5) -> rule2)) -> rule1))] Anne is red.[(triple2 OR ((triple5) -> rule2))] Anne is rough.[(triple3 OR ((triple5) -> rule6) OR ((triple2 triple4) -> rule3) OR ((((triple5) -> rule2) triple4) -> rule3))] Anne is round.[(triple4)] Anne is white.[(triple5)] Bob is rough.[(triple6 OR ((triple8) -> rule6))] Bob is round.[(triple7)] Bob is white.[(triple8)] Harry is blue.[(triple9 OR ((triple10) -> rule1) OR ((triple15) -> rule7) OR ((((triple14) -> rule2)) -> rule1) OR ((((triple13 triple15) -> rule5)) -> rule1) OR ((((triple15 triple14) -> rule8)) -> rule1))] Harry is red.[(triple10 OR ((triple14) -> rule2) OR ((triple13 triple15) -> rule5) OR ((triple15 triple14) -> rule8) OR ((((triple11 triple9) -> rule4) triple15) -> rule5) OR ((((triple11 ((triple15) -> rule7)) -> rule4) triple15) -> rule5) OR ((((((triple14) -> rule6) triple9) -> rule4) triple15) -> rule5) OR ((((((triple14) -> rule6) ((triple15) -> rule7)) -> rule4) triple15) -> rule5))] Harry is rough.[(triple11 OR ((triple14) -> rule6))] Harry is round.[(triple12)] Harry is smart.[(triple13 OR ((triple11 triple9) -> rule4) OR ((triple11 ((triple10) -> rule1)) -> rule4) OR ((triple11 ((triple15) -> rule7)) -> rule4) OR ((((triple14) -> rule6) triple9) -> rule4) OR ((((triple14) -> rule6) ((triple10) -> rule1)) -> rule4) OR ((((triple14) -> rule6) ((triple15) -> rule7)) -> rule4) OR ((triple11 ((((triple14) -> rule2)) -> rule1)) -> rule4) OR ((triple11 ((((triple15 triple14) -> rule8)) -> rule1)) -> rule4) OR ((((triple14) -> rule6) ((((triple14) -> rule2)) -> rule1)) -> rule4) OR ((((triple14) -> rule6) ((((triple15 triple14) -> rule8)) -> rule1)) -> rule4))] Harry is white.[(triple14)] Harry is young.[(triple15)] @1: Anne is smart.[(((triple3 triple1) -> rule4) OR ((triple3 ((triple2) -> rule1)) -> rule4) OR ((((triple5) -> rule6) triple1) -> rule4) OR ((((triple2 triple4) -> rule3) triple1) -> rule4) OR ((((triple5) -> rule6) ((triple2) -> rule1)) -> rule4) OR ((((triple2 triple4) -> rule3) ((triple2) -> rule1)) -> rule4) OR ((triple3 ((((triple5) -> rule2)) -> rule1)) -> rule4) OR ((((((triple5) -> rule2) triple4) -> rule3) triple1) -> rule4) OR ((((triple5) -> rule6) ((((triple5) -> rule2)) -> rule1)) -> rule4) OR ((((triple2 triple4) -> rule3) ((((triple5) -> rule2)) -> rule1)) -> rule4) OR ((((((triple5) -> rule2) triple4) -> rule3) ((triple2) -> rule1)) -> rule4) OR ((((((triple5) -> rule2) triple4) -> rule3) ((((triple5) -> rule2)) -> rule1)) -> rule4))] Bob is red.[(((triple8) -> rule2))] @2: Bob is blue.[(((((triple8) -> rule2)) -> rule1))] @3: Bob is smart.[(((triple6 ((((triple8) -> rule2)) -> rule1)) -> rule4) OR ((((triple8) -> rule6) ((((triple8) -> rule2)) -> rule1)) -> rule4))]