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