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