Dave is blue. Dave is cold. Dave is green. Dave is kind. Dave is nice. Dave is white. Erin is blue. Erin is cold. Erin is green. Erin is kind. Erin is nice. Erin is round. Erin is white. Fiona is kind. Fiona is nice. Blue things are round. If something is white and green then it is cold. All green, nice things are white. If something is kind then it is nice. Kind things are cold. If Erin is blue and Erin is cold then Erin is round. If something is cold then it is blue. Kind things are blue.
Fiona is kind.
@0: Dave is blue.[(triple1 OR ((triple2) -> rule7) OR ((triple4) -> rule8) OR ((((triple4) -> rule5)) -> rule7) OR ((((triple6 triple3) -> rule2)) -> rule7) OR ((((((triple3 triple5) -> rule3) triple3) -> rule2)) -> rule7) OR ((((((triple3 ((triple4) -> rule4)) -> rule3) triple3) -> rule2)) -> rule7))] Dave is cold.[(triple2 OR ((triple4) -> rule5) OR ((triple6 triple3) -> rule2) OR ((((triple3 triple5) -> rule3) triple3) -> rule2) OR ((((triple3 ((triple4) -> rule4)) -> rule3) triple3) -> rule2))] Dave is green.[(triple3)] Dave is kind.[(triple4)] Dave is nice.[(triple5 OR ((triple4) -> rule4))] Dave is white.[(triple6 OR ((triple3 triple5) -> rule3) OR ((triple3 ((triple4) -> rule4)) -> rule3))] Erin is blue.[(triple7 OR ((triple10) -> rule8) OR ((triple8) -> rule7) OR ((((triple10) -> rule5)) -> rule7) OR ((((triple13 triple9) -> rule2)) -> rule7) OR ((((((triple9 triple11) -> rule3) triple9) -> rule2)) -> rule7) OR ((((((triple9 ((triple10) -> rule4)) -> rule3) triple9) -> rule2)) -> rule7))] Erin is cold.[(triple8 OR ((triple10) -> rule5) OR ((triple13 triple9) -> rule2) OR ((((triple9 triple11) -> rule3) triple9) -> rule2) OR ((((triple9 ((triple10) -> rule4)) -> rule3) triple9) -> rule2))] Erin is green.[(triple9)] Erin is kind.[(triple10)] Erin is nice.[(triple11 OR ((triple10) -> rule4))] Erin is round.[(triple12 OR ((triple7) -> rule1) OR ((triple7 triple8) -> rule6) OR ((((triple10) -> rule8)) -> rule1) OR ((((triple8) -> rule7)) -> rule1) OR ((triple7 ((triple10) -> rule5)) -> rule6) OR ((triple7 ((triple13 triple9) -> rule2)) -> rule6) OR ((((triple10) -> rule8) triple8) -> rule6) OR ((((triple8) -> rule7) triple8) -> rule6) OR ((((triple10) -> rule8) ((triple10) -> rule5)) -> rule6) OR ((((triple10) -> rule8) ((triple13 triple9) -> rule2)) -> rule6) OR ((((triple8) -> rule7) ((triple10) -> rule5)) -> rule6) OR ((((triple8) -> rule7) ((triple13 triple9) -> rule2)) -> rule6) OR ((((((triple10) -> rule5)) -> rule7)) -> rule1) OR ((((((triple13 triple9) -> rule2)) -> rule7)) -> rule1) OR ((triple7 ((((triple9 triple11) -> rule3) triple9) -> rule2)) -> rule6) OR ((((((triple10) -> rule5)) -> rule7) triple8) -> rule6) OR ((((((triple13 triple9) -> rule2)) -> rule7) triple8) -> rule6) OR ((((triple10) -> rule8) ((((triple9 triple11) -> rule3) triple9) -> rule2)) -> rule6) OR ((((triple8) -> rule7) ((((triple9 triple11) -> rule3) triple9) -> rule2)) -> rule6) OR ((((((triple10) -> rule5)) -> rule7) ((triple10) -> rule5)) -> rule6) OR ((((((triple10) -> rule5)) -> rule7) ((triple13 triple9) -> rule2)) -> rule6) OR ((((((triple13 triple9) -> rule2)) -> rule7) ((triple10) -> rule5)) -> rule6) OR ((((((triple13 triple9) -> rule2)) -> rule7) ((triple13 triple9) -> rule2)) -> rule6) OR ((((((triple10) -> rule5)) -> rule7) ((((triple9 triple11) -> rule3) triple9) -> rule2)) -> rule6) OR ((((((triple13 triple9) -> rule2)) -> rule7) ((((triple9 triple11) -> rule3) triple9) -> rule2)) -> rule6) OR ((((((((triple9 triple11) -> rule3) triple9) -> rule2)) -> rule7)) -> rule1) OR ((triple7 ((((triple9 ((triple10) -> rule4)) -> rule3) triple9) -> rule2)) -> rule6) OR ((((((((triple9 triple11) -> rule3) triple9) -> rule2)) -> rule7) triple8) -> rule6) OR ((((triple10) -> rule8) ((((triple9 ((triple10) -> rule4)) -> rule3) triple9) -> rule2)) -> rule6) OR ((((triple8) -> rule7) ((((triple9 ((triple10) -> rule4)) -> rule3) triple9) -> rule2)) -> rule6) OR ((((((((triple9 triple11) -> rule3) triple9) -> rule2)) -> rule7) ((triple10) -> rule5)) -> rule6) OR ((((((((triple9 triple11) -> rule3) triple9) -> rule2)) -> rule7) ((triple13 triple9) -> rule2)) -> rule6) OR ((((((triple10) -> rule5)) -> rule7) ((((triple9 ((triple10) -> rule4)) -> rule3) triple9) -> rule2)) -> rule6) OR ((((((triple13 triple9) -> rule2)) -> rule7) ((((triple9 ((triple10) -> rule4)) -> rule3) triple9) -> rule2)) -> rule6) OR ((((((((triple9 triple11) -> rule3) triple9) -> rule2)) -> rule7) ((((triple9 triple11) -> rule3) triple9) -> rule2)) -> rule6) OR ((((((((triple9 triple11) -> rule3) triple9) -> rule2)) -> rule7) ((((triple9 ((triple10) -> rule4)) -> rule3) triple9) -> rule2)) -> rule6) OR ((((((((triple9 ((triple10) -> rule4)) -> rule3) triple9) -> rule2)) -> rule7)) -> rule1) OR ((((((((triple9 ((triple10) -> rule4)) -> rule3) triple9) -> rule2)) -> rule7) triple8) -> rule6) OR ((((((((triple9 ((triple10) -> rule4)) -> rule3) triple9) -> rule2)) -> rule7) ((triple10) -> rule5)) -> rule6) OR ((((((((triple9 ((triple10) -> rule4)) -> rule3) triple9) -> rule2)) -> rule7) ((triple13 triple9) -> rule2)) -> rule6) OR ((((((((triple9 ((triple10) -> rule4)) -> rule3) triple9) -> rule2)) -> rule7) ((((triple9 triple11) -> rule3) triple9) -> rule2)) -> rule6) OR ((((((((triple9 ((triple10) -> rule4)) -> rule3) triple9) -> rule2)) -> rule7) ((((triple9 ((triple10) -> rule4)) -> rule3) triple9) -> rule2)) -> rule6))] Erin is white.[(triple13 OR ((triple9 triple11) -> rule3) OR ((triple9 ((triple10) -> rule4)) -> rule3))] Fiona is kind.[(triple14)] Fiona is nice.[(triple15 OR ((triple14) -> rule4))] @1: Dave is round.[(((triple1) -> rule1) OR ((((triple2) -> rule7)) -> rule1) OR ((((triple4) -> rule8)) -> rule1) OR ((((((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((triple6 triple3) -> rule2)) -> rule7)) -> rule1) OR ((((((((triple3 triple5) -> rule3) triple3) -> rule2)) -> rule7)) -> rule1) OR ((((((((triple3 ((triple4) -> rule4)) -> rule3) triple3) -> rule2)) -> rule7)) -> rule1))] Fiona is blue.[(((triple14) -> rule8) OR ((((triple14) -> rule5)) -> rule7))] Fiona is cold.[(((triple14) -> rule5))] @2: Fiona is round.[(((((triple14) -> rule8)) -> rule1) OR ((((((triple14) -> rule5)) -> rule7)) -> rule1))]