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