Dave is blue. Dave is cold. Dave is kind. Dave is red. Dave is smart. Dave is white. Dave is young. Fiona is blue. Fiona is cold. Fiona is kind. Fiona is red. Fiona is smart. Fiona is white. Fiona is young. Young people are white. Cold, blue people are young. Red, kind people are blue. If Dave is young and Dave is cold then Dave is white. All cold people are smart. If someone is kind and red then they are blue. If someone is cold and kind then they are young. If someone is smart and white then they are red.
Fiona is not red.
@0: Dave is blue.[(triple1 OR ((triple3 triple4) -> rule6) OR ((triple4 triple3) -> rule3) OR ((triple3 ((triple5 triple6) -> rule8)) -> rule6) OR ((((triple5 triple6) -> rule8) triple3) -> rule3) OR ((triple3 ((triple5 ((triple7) -> rule1)) -> rule8)) -> rule6) OR ((triple3 ((triple5 ((triple7 triple2) -> rule4)) -> rule8)) -> rule6) OR ((triple3 ((((triple2) -> rule5) triple6) -> rule8)) -> rule6) OR ((((triple5 ((triple7) -> rule1)) -> rule8) triple3) -> rule3) OR ((((triple5 ((triple7 triple2) -> rule4)) -> rule8) triple3) -> rule3) OR ((((((triple2) -> rule5) triple6) -> rule8) triple3) -> rule3) OR ((triple3 ((((triple2) -> rule5) ((triple7) -> rule1)) -> rule8)) -> rule6) OR ((triple3 ((((triple2) -> rule5) ((triple7 triple2) -> rule4)) -> rule8)) -> rule6) OR ((((((triple2) -> rule5) ((triple7) -> rule1)) -> rule8) triple3) -> rule3) OR ((((((triple2) -> rule5) ((triple7 triple2) -> rule4)) -> rule8) triple3) -> rule3) OR ((triple3 ((triple5 ((((triple2 triple3) -> rule7)) -> rule1)) -> rule8)) -> rule6) OR ((triple3 ((triple5 ((((triple2 triple3) -> rule7) triple2) -> rule4)) -> rule8)) -> rule6) OR ((((triple5 ((((triple2 triple3) -> rule7)) -> rule1)) -> rule8) triple3) -> rule3) OR ((((triple5 ((((triple2 triple3) -> rule7) triple2) -> rule4)) -> rule8) triple3) -> rule3) OR ((triple3 ((((triple2) -> rule5) ((((triple2 triple3) -> rule7)) -> rule1)) -> rule8)) -> rule6) OR ((triple3 ((((triple2) -> rule5) ((((triple2 triple3) -> rule7) triple2) -> rule4)) -> rule8)) -> rule6) OR ((((((triple2) -> rule5) ((((triple2 triple3) -> rule7)) -> rule1)) -> rule8) triple3) -> rule3) OR ((((((triple2) -> rule5) ((((triple2 triple3) -> rule7) triple2) -> rule4)) -> rule8) triple3) -> rule3))] Dave is cold.[(triple2)] Dave is kind.[(triple3)] Dave is red.[(triple4 OR ((triple5 triple6) -> rule8) OR ((triple5 ((triple7) -> rule1)) -> rule8) OR ((triple5 ((triple7 triple2) -> rule4)) -> rule8) OR ((((triple2) -> rule5) triple6) -> rule8) OR ((((triple2) -> rule5) ((triple7) -> rule1)) -> rule8) OR ((((triple2) -> rule5) ((triple7 triple2) -> rule4)) -> rule8) OR ((triple5 ((((triple2 triple1) -> rule2)) -> rule1)) -> rule8) OR ((triple5 ((((triple2 triple3) -> rule7)) -> rule1)) -> rule8) OR ((triple5 ((((triple2 triple1) -> rule2) triple2) -> rule4)) -> rule8) OR ((triple5 ((((triple2 triple3) -> rule7) triple2) -> rule4)) -> rule8) OR ((((triple2) -> rule5) ((((triple2 triple1) -> rule2)) -> rule1)) -> rule8) OR ((((triple2) -> rule5) ((((triple2 triple3) -> rule7)) -> rule1)) -> rule8) OR ((((triple2) -> rule5) ((((triple2 triple1) -> rule2) triple2) -> rule4)) -> rule8) OR ((((triple2) -> rule5) ((((triple2 triple3) -> rule7) triple2) -> rule4)) -> rule8))] Dave is smart.[(triple5 OR ((triple2) -> rule5))] Dave is white.[(triple6 OR ((triple7) -> rule1) OR ((triple7 triple2) -> rule4) OR ((((triple2 triple1) -> rule2)) -> rule1) OR ((((triple2 triple3) -> rule7)) -> rule1) OR ((((triple2 triple1) -> rule2) triple2) -> rule4) OR ((((triple2 triple3) -> rule7) triple2) -> rule4) OR ((((triple2 ((triple3 triple4) -> rule6)) -> rule2)) -> rule1) OR ((((triple2 ((triple4 triple3) -> rule3)) -> rule2)) -> rule1) OR ((((triple2 ((triple3 triple4) -> rule6)) -> rule2) triple2) -> rule4) OR ((((triple2 ((triple4 triple3) -> rule3)) -> rule2) triple2) -> rule4))] Dave is young.[(triple7 OR ((triple2 triple1) -> rule2) OR ((triple2 triple3) -> rule7) OR ((triple2 ((triple3 triple4) -> rule6)) -> rule2) OR ((triple2 ((triple4 triple3) -> rule3)) -> rule2) OR ((triple2 ((triple3 ((triple5 triple6) -> rule8)) -> rule6)) -> rule2) OR ((triple2 ((((triple5 triple6) -> rule8) triple3) -> rule3)) -> rule2) OR ((triple2 ((triple3 ((((triple2) -> rule5) triple6) -> rule8)) -> rule6)) -> rule2) OR ((triple2 ((((((triple2) -> rule5) triple6) -> rule8) triple3) -> rule3)) -> rule2))] Fiona is blue.[(triple8 OR ((triple10 triple11) -> rule6) OR ((triple11 triple10) -> rule3) OR ((triple10 ((triple12 triple13) -> rule8)) -> rule6) OR ((((triple12 triple13) -> rule8) triple10) -> rule3) OR ((triple10 ((triple12 ((triple14) -> rule1)) -> rule8)) -> rule6) OR ((triple10 ((((triple9) -> rule5) triple13) -> rule8)) -> rule6) OR ((((triple12 ((triple14) -> rule1)) -> rule8) triple10) -> rule3) OR ((((((triple9) -> rule5) triple13) -> rule8) triple10) -> rule3) OR ((triple10 ((((triple9) -> rule5) ((triple14) -> rule1)) -> rule8)) -> rule6) OR ((((((triple9) -> rule5) ((triple14) -> rule1)) -> rule8) triple10) -> rule3) OR ((triple10 ((triple12 ((((triple9 triple10) -> rule7)) -> rule1)) -> rule8)) -> rule6) OR ((((triple12 ((((triple9 triple10) -> rule7)) -> rule1)) -> rule8) triple10) -> rule3) OR ((triple10 ((((triple9) -> rule5) ((((triple9 triple10) -> rule7)) -> rule1)) -> rule8)) -> rule6) OR ((((((triple9) -> rule5) ((((triple9 triple10) -> rule7)) -> rule1)) -> rule8) triple10) -> rule3))] Fiona is cold.[(triple9)] Fiona is kind.[(triple10)] Fiona is red.[(triple11 OR ((triple12 triple13) -> rule8) OR ((triple12 ((triple14) -> rule1)) -> rule8) OR ((((triple9) -> rule5) triple13) -> rule8) OR ((((triple9) -> rule5) ((triple14) -> rule1)) -> rule8) OR ((triple12 ((((triple9 triple10) -> rule7)) -> rule1)) -> rule8) OR ((triple12 ((((triple9 triple8) -> rule2)) -> rule1)) -> rule8) OR ((((triple9) -> rule5) ((((triple9 triple10) -> rule7)) -> rule1)) -> rule8) OR ((((triple9) -> rule5) ((((triple9 triple8) -> rule2)) -> rule1)) -> rule8))] Fiona is smart.[(triple12 OR ((triple9) -> rule5))] Fiona is white.[(triple13 OR ((triple14) -> rule1) OR ((((triple9 triple10) -> rule7)) -> rule1) OR ((((triple9 triple8) -> rule2)) -> rule1) OR ((((triple9 ((triple10 triple11) -> rule6)) -> rule2)) -> rule1) OR ((((triple9 ((triple11 triple10) -> rule3)) -> rule2)) -> rule1))] Fiona is young.[(triple14 OR ((triple9 triple10) -> rule7) OR ((triple9 triple8) -> rule2) OR ((triple9 ((triple10 triple11) -> rule6)) -> rule2) OR ((triple9 ((triple11 triple10) -> rule3)) -> rule2) OR ((triple9 ((triple10 ((triple12 triple13) -> rule8)) -> rule6)) -> rule2) OR ((triple9 ((((triple12 triple13) -> rule8) triple10) -> rule3)) -> rule2) OR ((triple9 ((triple10 ((((triple9) -> rule5) triple13) -> rule8)) -> rule6)) -> rule2) OR ((triple9 ((((((triple9) -> rule5) triple13) -> rule8) triple10) -> rule3)) -> rule2))]