Bob is blue. Bob is cold. Bob is nice. Bob is round. Bob is smart. Bob is white. Bob is young. Dave is nice. Dave is white. Fiona is white. Smart people are round. Smart people are white. Nice people are young. All white, cold people are blue. If someone is blue and white then they are nice. If someone is white then they are blue.
Dave is cold.
@0: Bob is blue.[(triple1 OR ((triple6) -> rule6) OR ((triple6 triple2) -> rule4) OR ((((triple5) -> rule2)) -> rule6) OR ((((triple5) -> rule2) triple2) -> rule4))] Bob is cold.[(triple2)] Bob is nice.[(triple3 OR ((triple1 triple6) -> rule5) OR ((triple1 ((triple5) -> rule2)) -> rule5) OR ((((triple6) -> rule6) triple6) -> rule5) OR ((((triple6 triple2) -> rule4) triple6) -> rule5) OR ((((triple6) -> rule6) ((triple5) -> rule2)) -> rule5) OR ((((triple6 triple2) -> rule4) ((triple5) -> rule2)) -> rule5) OR ((((((triple5) -> rule2)) -> rule6) triple6) -> rule5) OR ((((((triple5) -> rule2) triple2) -> rule4) triple6) -> rule5) OR ((((((triple5) -> rule2)) -> rule6) ((triple5) -> rule2)) -> rule5) OR ((((((triple5) -> rule2) triple2) -> rule4) ((triple5) -> rule2)) -> rule5))] Bob is round.[(triple4 OR ((triple5) -> rule1))] Bob is smart.[(triple5)] Bob is white.[(triple6 OR ((triple5) -> rule2))] Bob is young.[(triple7 OR ((triple3) -> rule3) OR ((((triple1 triple6) -> rule5)) -> rule3) OR ((((triple1 ((triple5) -> rule2)) -> rule5)) -> rule3) OR ((((((triple6) -> rule6) triple6) -> rule5)) -> rule3) OR ((((((triple6 triple2) -> rule4) triple6) -> rule5)) -> rule3) OR ((((((triple6) -> rule6) ((triple5) -> rule2)) -> rule5)) -> rule3) OR ((((((triple6 triple2) -> rule4) ((triple5) -> rule2)) -> rule5)) -> rule3) OR ((((((((triple5) -> rule2)) -> rule6) triple6) -> rule5)) -> rule3) OR ((((((((triple5) -> rule2) triple2) -> rule4) triple6) -> rule5)) -> rule3) OR ((((((((triple5) -> rule2)) -> rule6) ((triple5) -> rule2)) -> rule5)) -> rule3) OR ((((((((triple5) -> rule2) triple2) -> rule4) ((triple5) -> rule2)) -> rule5)) -> rule3))] Dave is nice.[(triple8 OR ((((triple9) -> rule6) triple9) -> rule5))] Dave is white.[(triple9)] Fiona is white.[(triple10)] @1: Dave is blue.[(((triple9) -> rule6))] Dave is young.[(((triple8) -> rule3) OR ((((((triple9) -> rule6) triple9) -> rule5)) -> rule3))] Fiona is blue.[(((triple10) -> rule6))] @2: Fiona is nice.[(((((triple10) -> rule6) triple10) -> rule5))] @3: Fiona is young.[(((((((triple10) -> rule6) triple10) -> rule5)) -> rule3))]