Bob is blue. Bob is furry. Bob is quiet. Bob is smart. Bob is white. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is quiet. Fiona is white. If someone is smart and blue then they are cold. If someone is furry then they are quiet. If someone is quiet and furry then they are smart. If Bob is rough then Bob is white. If someone is rough then they are furry. All blue people are furry.
Bob is not smart.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2 OR ((triple1) -> rule6))] Bob is quiet.[(triple3 OR ((triple2) -> rule2) OR ((((triple1) -> rule6)) -> rule2))] Bob is smart.[(triple4 OR ((triple3 triple2) -> rule3) OR ((triple3 ((triple1) -> rule6)) -> rule3) OR ((((triple2) -> rule2) triple2) -> rule3) OR ((((triple2) -> rule2) ((triple1) -> rule6)) -> rule3) OR ((((((triple1) -> rule6)) -> rule2) triple2) -> rule3) OR ((((((triple1) -> rule6)) -> rule2) ((triple1) -> rule6)) -> rule3))] Bob is white.[(triple5)] Fiona is blue.[(triple6)] Fiona is cold.[(triple7 OR ((((triple9 triple8) -> rule3) triple6) -> rule1) OR ((((triple9 ((triple6) -> rule6)) -> rule3) triple6) -> rule1) OR ((((((triple8) -> rule2) triple8) -> rule3) triple6) -> rule1) OR ((((((triple8) -> rule2) ((triple6) -> rule6)) -> rule3) triple6) -> rule1) OR ((((((((triple6) -> rule6)) -> rule2) triple8) -> rule3) triple6) -> rule1) OR ((((((((triple6) -> rule6)) -> rule2) ((triple6) -> rule6)) -> rule3) triple6) -> rule1))] Fiona is furry.[(triple8 OR ((triple6) -> rule6))] Fiona is quiet.[(triple9 OR ((triple8) -> rule2) OR ((((triple6) -> rule6)) -> rule2))] Fiona is white.[(triple10)] @1: Bob is cold.[(((triple4 triple1) -> rule1) OR ((((triple3 triple2) -> rule3) triple1) -> rule1) OR ((((triple3 ((triple1) -> rule6)) -> rule3) triple1) -> rule1) OR ((((((triple2) -> rule2) triple2) -> rule3) triple1) -> rule1) OR ((((((triple2) -> rule2) ((triple1) -> rule6)) -> rule3) triple1) -> rule1) OR ((((((((triple1) -> rule6)) -> rule2) triple2) -> rule3) triple1) -> rule1) OR ((((((((triple1) -> rule6)) -> rule2) ((triple1) -> rule6)) -> rule3) triple1) -> rule1))] Fiona is smart.[(((triple9 triple8) -> rule3) OR ((triple9 ((triple6) -> rule6)) -> rule3) OR ((((triple8) -> rule2) triple8) -> rule3) OR ((((triple8) -> rule2) ((triple6) -> rule6)) -> rule3) OR ((((((triple6) -> rule6)) -> rule2) triple8) -> rule3) OR ((((((triple6) -> rule6)) -> rule2) ((triple6) -> rule6)) -> rule3))]