Dave is cold. Dave is kind. Dave is smart. Dave is young. Fiona is big. Fiona is cold. Fiona is green. Fiona is kind. Fiona is smart. Fiona is white. If something is green then it is kind. All cold things are big. All young, cold things are kind. All cold things are kind. Smart, big things are white. Kind, white things are green. If something is big and young then it is kind. If Fiona is cold then Fiona is white.
Dave is big.
@0: Dave is cold.[(triple1)] Dave is kind.[(triple2 OR ((triple1) -> rule4) OR ((triple4 triple1) -> rule3) OR ((((triple1) -> rule2) triple4) -> rule7))] Dave is smart.[(triple3)] Dave is young.[(triple4)] Fiona is big.[(triple5 OR ((triple6) -> rule2))] Fiona is cold.[(triple6)] Fiona is green.[(triple7 OR ((triple8 triple10) -> rule6) OR ((triple8 ((triple6) -> rule8)) -> rule6) OR ((triple8 ((triple9 triple5) -> rule5)) -> rule6) OR ((((triple6) -> rule4) triple10) -> rule6) OR ((((triple6) -> rule4) ((triple6) -> rule8)) -> rule6) OR ((((triple6) -> rule4) ((triple9 triple5) -> rule5)) -> rule6) OR ((triple8 ((triple9 ((triple6) -> rule2)) -> rule5)) -> rule6) OR ((((triple6) -> rule4) ((triple9 ((triple6) -> rule2)) -> rule5)) -> rule6))] Fiona is kind.[(triple8 OR ((triple6) -> rule4) OR ((triple7) -> rule1))] Fiona is smart.[(triple9)] Fiona is white.[(triple10 OR ((triple6) -> rule8) OR ((triple9 triple5) -> rule5) OR ((triple9 ((triple6) -> rule2)) -> rule5))] @1: Dave is big.[(((triple1) -> rule2))] @2: Dave is white.[(((triple3 ((triple1) -> rule2)) -> rule5))] @3: Dave is green.[(((triple2 ((triple3 ((triple1) -> rule2)) -> rule5)) -> rule6) OR ((((triple1) -> rule4) ((triple3 ((triple1) -> rule2)) -> rule5)) -> rule6) OR ((((triple4 triple1) -> rule3) ((triple3 ((triple1) -> rule2)) -> rule5)) -> rule6) OR ((((((triple1) -> rule2) triple4) -> rule7) ((triple3 ((triple1) -> rule2)) -> rule5)) -> rule6))]