Bob is furry. Bob is white. Bob is young. Charlie is blue. Charlie is furry. Charlie is green. Charlie is nice. Charlie is smart. Charlie is white. Charlie is young. Fiona is nice. Fiona is young. All young, white people are nice. Young people are furry. All young, nice people are blue. If Bob is blue then Bob is smart. If someone is smart then they are white. If Bob is nice then Bob is white.
Bob is blue.
@0: Bob is furry.[(triple1 OR ((triple3) -> rule2))] Bob is white.[(triple2)] Bob is young.[(triple3)] Charlie is blue.[(triple4 OR ((triple10 triple7) -> rule3) OR ((triple10 ((triple10 triple9) -> rule1)) -> rule3) OR ((triple10 ((triple10 ((triple8) -> rule5)) -> rule1)) -> rule3))] Charlie is furry.[(triple5 OR ((triple10) -> rule2))] Charlie is green.[(triple6)] Charlie is nice.[(triple7 OR ((triple10 triple9) -> rule1) OR ((triple10 ((triple8) -> rule5)) -> rule1))] Charlie is smart.[(triple8)] Charlie is white.[(triple9 OR ((triple8) -> rule5))] Charlie is young.[(triple10)] Fiona is nice.[(triple11)] Fiona is young.[(triple12)] @1: Bob is nice.[(((triple3 triple2) -> rule1))] Fiona is blue.[(((triple12 triple11) -> rule3))] Fiona is furry.[(((triple12) -> rule2))] @2: Bob is blue.[(((triple3 ((triple3 triple2) -> rule1)) -> rule3))] @3: Bob is smart.[(((((triple3 ((triple3 triple2) -> rule1)) -> rule3)) -> rule4))]