Bob is blue. Bob is furry. Bob is green. Bob is red. Bob is round. Bob is white. Bob is young. Fiona is blue. Fiona is furry. Fiona is green. Fiona is red. Fiona is round. Fiona is young. Harry is green. Harry is round. If something is green then it is white. If something is green and blue then it is furry. If something is round and red then it is green. All white things are blue. If Bob is round and Bob is young then Bob is white. If something is furry then it is blue.
Bob is not furry.
@0: Bob is blue.[(triple1 OR ((triple2) -> rule6) OR ((triple6) -> rule4) OR ((((triple3) -> rule1)) -> rule4) OR ((((triple5 triple7) -> rule5)) -> rule4) OR ((((((triple5 triple4) -> rule3)) -> rule1)) -> rule4))] Bob is furry.[(triple2 OR ((triple3 triple1) -> rule2) OR ((triple3 ((triple6) -> rule4)) -> rule2) OR ((((triple5 triple4) -> rule3) triple1) -> rule2) OR ((((triple5 triple4) -> rule3) ((triple6) -> rule4)) -> rule2) OR ((triple3 ((((triple3) -> rule1)) -> rule4)) -> rule2) OR ((triple3 ((((triple5 triple7) -> rule5)) -> rule4)) -> rule2) OR ((((triple5 triple4) -> rule3) ((((triple3) -> rule1)) -> rule4)) -> rule2) OR ((((triple5 triple4) -> rule3) ((((triple5 triple7) -> rule5)) -> rule4)) -> rule2) OR ((triple3 ((((((triple5 triple4) -> rule3)) -> rule1)) -> rule4)) -> rule2) OR ((((triple5 triple4) -> rule3) ((((((triple5 triple4) -> rule3)) -> rule1)) -> rule4)) -> rule2))] Bob is green.[(triple3 OR ((triple5 triple4) -> rule3))] Bob is red.[(triple4)] Bob is round.[(triple5)] Bob is white.[(triple6 OR ((triple3) -> rule1) OR ((triple5 triple7) -> rule5) OR ((((triple5 triple4) -> rule3)) -> rule1))] Bob is young.[(triple7)] Fiona is blue.[(triple8 OR ((triple9) -> rule6) OR ((((triple10) -> rule1)) -> rule4) OR ((((((triple12 triple11) -> rule3)) -> rule1)) -> rule4))] Fiona is furry.[(triple9 OR ((triple10 triple8) -> rule2) OR ((((triple12 triple11) -> rule3) triple8) -> rule2) OR ((triple10 ((((triple10) -> rule1)) -> rule4)) -> rule2) OR ((((triple12 triple11) -> rule3) ((((triple10) -> rule1)) -> rule4)) -> rule2) OR ((triple10 ((((((triple12 triple11) -> rule3)) -> rule1)) -> rule4)) -> rule2) OR ((((triple12 triple11) -> rule3) ((((((triple12 triple11) -> rule3)) -> rule1)) -> rule4)) -> rule2))] Fiona is green.[(triple10 OR ((triple12 triple11) -> rule3))] Fiona is red.[(triple11)] Fiona is round.[(triple12)] Fiona is young.[(triple13)] Harry is green.[(triple14)] Harry is round.[(triple15)] @1: Fiona is white.[(((triple10) -> rule1) OR ((((triple12 triple11) -> rule3)) -> rule1))] Harry is white.[(((triple14) -> rule1))] @2: Harry is blue.[(((((triple14) -> rule1)) -> rule4))] @3: Harry is furry.[(((triple14 ((((triple14) -> rule1)) -> rule4)) -> rule2))]