Anne is big. Anne is cold. Anne is kind. Anne is red. Anne is rough. Anne is smart. Anne is young. Dave is kind. Dave is rough. Erin is big. Erin is cold. Erin is young. Fiona is big. Fiona is kind. Fiona is red. Fiona is rough. All cold, smart things are red. If Anne is red then Anne is young. If something is red and big then it is young. If something is young and kind then it is smart. If something is rough then it is smart. All young things are kind.
Dave is not big.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is kind.[(triple3 OR ((triple7) -> rule6) OR ((((triple4) -> rule2)) -> rule6) OR ((((triple4 triple1) -> rule3)) -> rule6) OR ((((((triple2 triple6) -> rule1)) -> rule2)) -> rule6) OR ((((((triple2 triple6) -> rule1) triple1) -> rule3)) -> rule6) OR ((((((triple2 ((triple5) -> rule5)) -> rule1)) -> rule2)) -> rule6) OR ((((((triple2 ((triple5) -> rule5)) -> rule1) triple1) -> rule3)) -> rule6))] Anne is red.[(triple4 OR ((triple2 triple6) -> rule1) OR ((triple2 ((triple5) -> rule5)) -> rule1) OR ((triple2 ((triple7 triple3) -> rule4)) -> rule1) OR ((triple2 ((triple7 ((triple7) -> rule6)) -> rule4)) -> rule1))] Anne is rough.[(triple5)] Anne is smart.[(triple6 OR ((triple5) -> rule5) OR ((triple7 triple3) -> rule4) OR ((triple7 ((triple7) -> rule6)) -> rule4) OR ((((triple4) -> rule2) triple3) -> rule4) OR ((((triple4 triple1) -> rule3) triple3) -> rule4) OR ((((triple4) -> rule2) ((triple7) -> rule6)) -> rule4) OR ((((triple4 triple1) -> rule3) ((triple7) -> rule6)) -> rule4) OR ((triple7 ((((triple4) -> rule2)) -> rule6)) -> rule4) OR ((triple7 ((((triple4 triple1) -> rule3)) -> rule6)) -> rule4) OR ((((triple4) -> rule2) ((((triple4) -> rule2)) -> rule6)) -> rule4) OR ((((triple4) -> rule2) ((((triple4 triple1) -> rule3)) -> rule6)) -> rule4) OR ((((triple4 triple1) -> rule3) ((((triple4) -> rule2)) -> rule6)) -> rule4) OR ((((triple4 triple1) -> rule3) ((((triple4 triple1) -> rule3)) -> rule6)) -> rule4))] Anne is young.[(triple7 OR ((triple4) -> rule2) OR ((triple4 triple1) -> rule3) OR ((((triple2 triple6) -> rule1)) -> rule2) OR ((((triple2 triple6) -> rule1) triple1) -> rule3) OR ((((triple2 ((triple5) -> rule5)) -> rule1)) -> rule2) OR ((((triple2 ((triple5) -> rule5)) -> rule1) triple1) -> rule3))] Dave is kind.[(triple8)] Dave is rough.[(triple9)] Erin is big.[(triple10)] Erin is cold.[(triple11)] Erin is young.[(triple12)] Fiona is big.[(triple13)] Fiona is kind.[(triple14 OR ((((triple15 triple13) -> rule3)) -> rule6))] Fiona is red.[(triple15)] Fiona is rough.[(triple16)] @1: Dave is smart.[(((triple9) -> rule5))] Erin is kind.[(((triple12) -> rule6))] Fiona is smart.[(((triple16) -> rule5) OR ((((triple15 triple13) -> rule3) triple14) -> rule4) OR ((((triple15 triple13) -> rule3) ((((triple15 triple13) -> rule3)) -> rule6)) -> rule4))] Fiona is young.[(((triple15 triple13) -> rule3))] @2: Erin is smart.[(((triple12 ((triple12) -> rule6)) -> rule4))] @3: Erin is red.[(((triple11 ((triple12 ((triple12) -> rule6)) -> rule4)) -> rule1))]