Bob is blue. Bob is cold. Bob is furry. Bob is kind. Bob is nice. Bob is red. Bob is young. Dave is young. Fiona is cold. Fiona is kind. Fiona is red. Fiona is young. Nice, blue people are furry. Young people are nice. If someone is nice and kind then they are cold. All furry, blue people are nice. All furry, young people are kind. If someone is nice then they are blue.
Bob is not kind.
@0: Bob is blue.[(triple1 OR ((triple5) -> rule6) OR ((((triple7) -> rule2)) -> rule6))] Bob is cold.[(triple2 OR ((triple5 triple4) -> rule3) OR ((triple5 ((triple3 triple7) -> rule5)) -> rule3) OR ((((triple7) -> rule2) triple4) -> rule3) OR ((((triple3 triple1) -> rule4) triple4) -> rule3) OR ((((triple7) -> rule2) ((triple3 triple7) -> rule5)) -> rule3) OR ((((triple3 triple1) -> rule4) ((triple3 triple7) -> rule5)) -> rule3) OR ((triple5 ((((triple5 triple1) -> rule1) triple7) -> rule5)) -> rule3) OR ((((triple7) -> rule2) ((((triple5 triple1) -> rule1) triple7) -> rule5)) -> rule3) OR ((((triple3 triple1) -> rule4) ((((triple5 triple1) -> rule1) triple7) -> rule5)) -> rule3) OR ((triple5 ((((triple5 ((triple5) -> rule6)) -> rule1) triple7) -> rule5)) -> rule3) OR ((triple5 ((((((triple7) -> rule2) triple1) -> rule1) triple7) -> rule5)) -> rule3) OR ((triple5 ((((((triple7) -> rule2) ((triple5) -> rule6)) -> rule1) triple7) -> rule5)) -> rule3) OR ((((triple7) -> rule2) ((((triple5 ((triple5) -> rule6)) -> rule1) triple7) -> rule5)) -> rule3) OR ((((triple7) -> rule2) ((((((triple7) -> rule2) triple1) -> rule1) triple7) -> rule5)) -> rule3) OR ((((triple3 triple1) -> rule4) ((((triple5 ((triple5) -> rule6)) -> rule1) triple7) -> rule5)) -> rule3) OR ((((triple3 triple1) -> rule4) ((((((triple7) -> rule2) triple1) -> rule1) triple7) -> rule5)) -> rule3) OR ((((triple7) -> rule2) ((((((triple7) -> rule2) ((triple5) -> rule6)) -> rule1) triple7) -> rule5)) -> rule3) OR ((((triple3 triple1) -> rule4) ((((((triple7) -> rule2) ((triple5) -> rule6)) -> rule1) triple7) -> rule5)) -> rule3) OR ((triple5 ((((triple5 ((((triple7) -> rule2)) -> rule6)) -> rule1) triple7) -> rule5)) -> rule3) OR ((triple5 ((((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule6)) -> rule1) triple7) -> rule5)) -> rule3) OR ((((triple7) -> rule2) ((((triple5 ((((triple7) -> rule2)) -> rule6)) -> rule1) triple7) -> rule5)) -> rule3) OR ((((triple3 triple1) -> rule4) ((((triple5 ((((triple7) -> rule2)) -> rule6)) -> rule1) triple7) -> rule5)) -> rule3) OR ((((triple7) -> rule2) ((((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule6)) -> rule1) triple7) -> rule5)) -> rule3) OR ((((triple3 triple1) -> rule4) ((((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule6)) -> rule1) triple7) -> rule5)) -> rule3))] Bob is furry.[(triple3 OR ((triple5 triple1) -> rule1) OR ((triple5 ((triple5) -> rule6)) -> rule1) OR ((((triple7) -> rule2) triple1) -> rule1) OR ((((triple7) -> rule2) ((triple5) -> rule6)) -> rule1) OR ((triple5 ((((triple7) -> rule2)) -> rule6)) -> rule1) OR ((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule6)) -> rule1))] Bob is kind.[(triple4 OR ((triple3 triple7) -> rule5) OR ((((triple5 triple1) -> rule1) triple7) -> rule5) OR ((((triple5 ((triple5) -> rule6)) -> rule1) triple7) -> rule5) OR ((((((triple7) -> rule2) triple1) -> rule1) triple7) -> rule5) OR ((((((triple7) -> rule2) ((triple5) -> rule6)) -> rule1) triple7) -> rule5) OR ((((triple5 ((((triple7) -> rule2)) -> rule6)) -> rule1) triple7) -> rule5) OR ((((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule6)) -> rule1) triple7) -> rule5))] Bob is nice.[(triple5 OR ((triple7) -> rule2) OR ((triple3 triple1) -> rule4))] Bob is red.[(triple6)] Bob is young.[(triple7)] Dave is young.[(triple8)] Fiona is cold.[(triple9 OR ((((triple12) -> rule2) triple10) -> rule3) OR ((((triple12) -> rule2) ((((((triple12) -> rule2) ((((triple12) -> rule2)) -> rule6)) -> rule1) triple12) -> rule5)) -> rule3))] Fiona is kind.[(triple10 OR ((((((triple12) -> rule2) ((((triple12) -> rule2)) -> rule6)) -> rule1) triple12) -> rule5))] Fiona is red.[(triple11)] Fiona is young.[(triple12)] @1: Dave is nice.[(((triple8) -> rule2))] Fiona is nice.[(((triple12) -> rule2))] @2: Dave is blue.[(((((triple8) -> rule2)) -> rule6))] Fiona is blue.[(((((triple12) -> rule2)) -> rule6))] @3: Dave is furry.[(((((triple8) -> rule2) ((((triple8) -> rule2)) -> rule6)) -> rule1))] Fiona is furry.[(((((triple12) -> rule2) ((((triple12) -> rule2)) -> rule6)) -> rule1))] @4: Dave is kind.[(((((((triple8) -> rule2) ((((triple8) -> rule2)) -> rule6)) -> rule1) triple8) -> rule5))] @5: Dave is cold.[(((((triple8) -> rule2) ((((((triple8) -> rule2) ((((triple8) -> rule2)) -> rule6)) -> rule1) triple8) -> rule5)) -> rule3))]