Dave is blue. Dave is cold. Dave is nice. Dave is quiet. Dave is rough. Dave is smart. Dave is white. Erin is blue. Erin is cold. Erin is quiet. Erin is rough. Erin is white. Fiona is blue. Fiona is nice. Fiona is quiet. Fiona is rough. All cold people are smart. Smart, nice people are rough. All blue people are smart. All nice people are rough. All smart, white people are nice. All rough people are blue. If Dave is smart and Dave is blue then Dave is nice. Nice people are blue.
Fiona is not smart.
@0: Dave is blue.[(triple1 OR ((triple3) -> rule8) OR ((triple5) -> rule6) OR ((((triple3) -> rule4)) -> rule6) OR ((((triple6 triple3) -> rule2)) -> rule6) OR ((((triple6 triple7) -> rule5)) -> rule8) OR ((((((triple6 triple7) -> rule5)) -> rule4)) -> rule6) OR ((((triple6 ((triple6 triple7) -> rule5)) -> rule2)) -> rule6) OR ((((((triple2) -> rule1) triple3) -> rule2)) -> rule6) OR ((((((triple2) -> rule1) triple7) -> rule5)) -> rule8) OR ((((((triple2) -> rule1) ((triple6 triple7) -> rule5)) -> rule2)) -> rule6) OR ((((((((triple2) -> rule1) triple7) -> rule5)) -> rule4)) -> rule6) OR ((((triple6 ((((triple2) -> rule1) triple7) -> rule5)) -> rule2)) -> rule6) OR ((((((triple2) -> rule1) ((((triple2) -> rule1) triple7) -> rule5)) -> rule2)) -> rule6))] Dave is cold.[(triple2)] Dave is nice.[(triple3 OR ((triple6 triple1) -> rule7) OR ((triple6 triple7) -> rule5) OR ((triple6 ((triple5) -> rule6)) -> rule7) OR ((((triple1) -> rule3) triple1) -> rule7) OR ((((triple1) -> rule3) triple7) -> rule5) OR ((((triple2) -> rule1) triple1) -> rule7) OR ((((triple2) -> rule1) triple7) -> rule5) OR ((((triple1) -> rule3) ((triple5) -> rule6)) -> rule7) OR ((((triple2) -> rule1) ((triple5) -> rule6)) -> rule7) OR ((((((triple5) -> rule6)) -> rule3) triple1) -> rule7) OR ((((((triple5) -> rule6)) -> rule3) triple7) -> rule5) OR ((((((triple5) -> rule6)) -> rule3) ((triple5) -> rule6)) -> rule7))] Dave is quiet.[(triple4)] Dave is rough.[(triple5 OR ((triple3) -> rule4) OR ((triple6 triple3) -> rule2) OR ((((triple6 triple1) -> rule7)) -> rule4) OR ((((triple6 triple7) -> rule5)) -> rule4) OR ((triple6 ((triple6 triple1) -> rule7)) -> rule2) OR ((triple6 ((triple6 triple7) -> rule5)) -> rule2) OR ((((triple1) -> rule3) triple3) -> rule2) OR ((((triple2) -> rule1) triple3) -> rule2) OR ((((triple1) -> rule3) ((triple6 triple1) -> rule7)) -> rule2) OR ((((triple1) -> rule3) ((triple6 triple7) -> rule5)) -> rule2) OR ((((triple2) -> rule1) ((triple6 triple1) -> rule7)) -> rule2) OR ((((triple2) -> rule1) ((triple6 triple7) -> rule5)) -> rule2) OR ((((((triple1) -> rule3) triple1) -> rule7)) -> rule4) OR ((((((triple1) -> rule3) triple7) -> rule5)) -> rule4) OR ((((((triple2) -> rule1) triple1) -> rule7)) -> rule4) OR ((((((triple2) -> rule1) triple7) -> rule5)) -> rule4) OR ((triple6 ((((triple1) -> rule3) triple1) -> rule7)) -> rule2) OR ((triple6 ((((triple1) -> rule3) triple7) -> rule5)) -> rule2) OR ((triple6 ((((triple2) -> rule1) triple1) -> rule7)) -> rule2) OR ((triple6 ((((triple2) -> rule1) triple7) -> rule5)) -> rule2) OR ((((((triple3) -> rule8)) -> rule3) triple3) -> rule2) OR ((((triple1) -> rule3) ((((triple1) -> rule3) triple1) -> rule7)) -> rule2) OR ((((triple1) -> rule3) ((((triple1) -> rule3) triple7) -> rule5)) -> rule2) OR ((((triple1) -> rule3) ((((triple2) -> rule1) triple1) -> rule7)) -> rule2) OR ((((triple1) -> rule3) ((((triple2) -> rule1) triple7) -> rule5)) -> rule2) OR ((((triple2) -> rule1) ((((triple1) -> rule3) triple1) -> rule7)) -> rule2) OR ((((triple2) -> rule1) ((((triple1) -> rule3) triple7) -> rule5)) -> rule2) OR ((((triple2) -> rule1) ((((triple2) -> rule1) triple1) -> rule7)) -> rule2) OR ((((triple2) -> rule1) ((((triple2) -> rule1) triple7) -> rule5)) -> rule2) OR ((((((triple3) -> rule8)) -> rule3) ((triple6 triple1) -> rule7)) -> rule2) OR ((((((triple3) -> rule8)) -> rule3) ((triple6 triple7) -> rule5)) -> rule2) OR ((((((triple3) -> rule8)) -> rule3) ((((triple1) -> rule3) triple1) -> rule7)) -> rule2) OR ((((((triple3) -> rule8)) -> rule3) ((((triple1) -> rule3) triple7) -> rule5)) -> rule2) OR ((((((triple3) -> rule8)) -> rule3) ((((triple2) -> rule1) triple1) -> rule7)) -> rule2) OR ((((((triple3) -> rule8)) -> rule3) ((((triple2) -> rule1) triple7) -> rule5)) -> rule2))] Dave is smart.[(triple6 OR ((triple1) -> rule3) OR ((triple2) -> rule1) OR ((((triple3) -> rule8)) -> rule3) OR ((((triple5) -> rule6)) -> rule3) OR ((((((triple3) -> rule4)) -> rule6)) -> rule3))] Dave is white.[(triple7)] Erin is blue.[(triple8 OR ((triple11) -> rule6) OR ((((((triple9) -> rule1) triple12) -> rule5)) -> rule8) OR ((((((((triple9) -> rule1) triple12) -> rule5)) -> rule4)) -> rule6) OR ((((((triple9) -> rule1) ((((triple9) -> rule1) triple12) -> rule5)) -> rule2)) -> rule6))] Erin is cold.[(triple9)] Erin is quiet.[(triple10)] Erin is rough.[(triple11 OR ((((((triple8) -> rule3) triple12) -> rule5)) -> rule4) OR ((((((triple9) -> rule1) triple12) -> rule5)) -> rule4) OR ((((triple8) -> rule3) ((((triple8) -> rule3) triple12) -> rule5)) -> rule2) OR ((((triple8) -> rule3) ((((triple9) -> rule1) triple12) -> rule5)) -> rule2) OR ((((triple9) -> rule1) ((((triple8) -> rule3) triple12) -> rule5)) -> rule2) OR ((((triple9) -> rule1) ((((triple9) -> rule1) triple12) -> rule5)) -> rule2))] Erin is white.[(triple12)] Fiona is blue.[(triple13 OR ((triple14) -> rule8) OR ((triple16) -> rule6) OR ((((triple14) -> rule4)) -> rule6))] Fiona is nice.[(triple14)] Fiona is quiet.[(triple15)] Fiona is rough.[(triple16 OR ((triple14) -> rule4) OR ((((triple13) -> rule3) triple14) -> rule2) OR ((((((triple14) -> rule8)) -> rule3) triple14) -> rule2))] @1: Erin is smart.[(((triple8) -> rule3) OR ((triple9) -> rule1) OR ((((triple11) -> rule6)) -> rule3))] Fiona is smart.[(((triple13) -> rule3) OR ((((triple14) -> rule8)) -> rule3) OR ((((triple16) -> rule6)) -> rule3) OR ((((((triple14) -> rule4)) -> rule6)) -> rule3))] @2: Erin is nice.[(((((triple8) -> rule3) triple12) -> rule5) OR ((((triple9) -> rule1) triple12) -> rule5) OR ((((((triple11) -> rule6)) -> rule3) triple12) -> rule5))]