Dave is cold. Dave is kind. Dave is white. Dave is young. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is white. Fiona is young. Gary is blue. Gary is furry. Gary is white. All blue people are cold. All young people are green. If Gary is cold then Gary is white. All kind, white people are furry. If Gary is young then Gary is white. Cold people are kind. If someone is cold then they are young. If someone is cold and young then they are white.
Fiona is blue.
@0: Dave is cold.[(triple1)] Dave is kind.[(triple2 OR ((triple1) -> rule6))] Dave is white.[(triple3 OR ((triple1 triple4) -> rule8) OR ((triple1 ((triple1) -> rule7)) -> rule8))] Dave is young.[(triple4 OR ((triple1) -> rule7))] Fiona is cold.[(triple5)] Fiona is furry.[(triple6 OR ((triple7 triple8) -> rule4) OR ((triple7 ((triple5 triple9) -> rule8)) -> rule4) OR ((((triple5) -> rule6) triple8) -> rule4) OR ((((triple5) -> rule6) ((triple5 triple9) -> rule8)) -> rule4) OR ((triple7 ((triple5 ((triple5) -> rule7)) -> rule8)) -> rule4) OR ((((triple5) -> rule6) ((triple5 ((triple5) -> rule7)) -> rule8)) -> rule4))] Fiona is kind.[(triple7 OR ((triple5) -> rule6))] Fiona is white.[(triple8 OR ((triple5 triple9) -> rule8) OR ((triple5 ((triple5) -> rule7)) -> rule8))] Fiona is young.[(triple9 OR ((triple5) -> rule7))] Gary is blue.[(triple10)] Gary is furry.[(triple11 OR ((((((triple10) -> rule1)) -> rule6) triple12) -> rule4) OR ((((((triple10) -> rule1)) -> rule6) ((((triple10) -> rule1)) -> rule3)) -> rule4) OR ((((((triple10) -> rule1)) -> rule6) ((((((triple10) -> rule1)) -> rule7)) -> rule5)) -> rule4) OR ((((((triple10) -> rule1)) -> rule6) ((((triple10) -> rule1) ((((triple10) -> rule1)) -> rule7)) -> rule8)) -> rule4))] Gary is white.[(triple12 OR ((((triple10) -> rule1)) -> rule3) OR ((((((triple10) -> rule1)) -> rule7)) -> rule5) OR ((((triple10) -> rule1) ((((triple10) -> rule1)) -> rule7)) -> rule8))] @1: Dave is furry.[(((triple2 triple3) -> rule4) OR ((triple2 ((triple1 triple4) -> rule8)) -> rule4) OR ((((triple1) -> rule6) triple3) -> rule4) OR ((((triple1) -> rule6) ((triple1 triple4) -> rule8)) -> rule4) OR ((triple2 ((triple1 ((triple1) -> rule7)) -> rule8)) -> rule4) OR ((((triple1) -> rule6) ((triple1 ((triple1) -> rule7)) -> rule8)) -> rule4))] Dave is green.[(((triple4) -> rule2) OR ((((triple1) -> rule7)) -> rule2))] Fiona is green.[(((triple9) -> rule2) OR ((((triple5) -> rule7)) -> rule2))] Gary is cold.[(((triple10) -> rule1))] @2: Gary is kind.[(((((triple10) -> rule1)) -> rule6))] Gary is young.[(((((triple10) -> rule1)) -> rule7))] @3: Gary is green.[(((((((triple10) -> rule1)) -> rule7)) -> rule2))]