Charlie is big. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is nice. Charlie is red. Charlie is round. Dave is cold. Dave is furry. Erin is big. Erin is nice. Erin is red. Erin is round. Fiona is cold. Fiona is red. Cold, big people are furry. All furry people are red. Round, big people are cold. Nice people are big. Round, red people are nice. If someone is nice and big then they are furry.
Charlie is furry.
@0: Charlie is big.[(triple1 OR ((triple5) -> rule4) OR ((((triple7 triple6) -> rule5)) -> rule4) OR ((((triple7 ((triple4) -> rule2)) -> rule5)) -> rule4))] Charlie is blue.[(triple2)] Charlie is cold.[(triple3 OR ((triple7 triple1) -> rule3) OR ((triple7 ((triple5) -> rule4)) -> rule3) OR ((triple7 ((((triple7 triple6) -> rule5)) -> rule4)) -> rule3) OR ((triple7 ((((triple7 ((triple4) -> rule2)) -> rule5)) -> rule4)) -> rule3))] Charlie is furry.[(triple4 OR ((triple3 triple1) -> rule1) OR ((triple5 triple1) -> rule6) OR ((triple3 ((triple5) -> rule4)) -> rule1) OR ((triple5 ((triple5) -> rule4)) -> rule6) OR ((((triple7 triple1) -> rule3) triple1) -> rule1) OR ((((triple7 triple6) -> rule5) triple1) -> rule6) OR ((((triple7 triple1) -> rule3) ((triple5) -> rule4)) -> rule1) OR ((((triple7 triple6) -> rule5) ((triple5) -> rule4)) -> rule6) OR ((triple3 ((((triple7 triple6) -> rule5)) -> rule4)) -> rule1) OR ((triple5 ((((triple7 triple6) -> rule5)) -> rule4)) -> rule6) OR ((((triple7 ((triple5) -> rule4)) -> rule3) triple1) -> rule1) OR ((((triple7 triple1) -> rule3) ((((triple7 triple6) -> rule5)) -> rule4)) -> rule1) OR ((((triple7 triple6) -> rule5) ((((triple7 triple6) -> rule5)) -> rule4)) -> rule6) OR ((((triple7 ((triple5) -> rule4)) -> rule3) ((triple5) -> rule4)) -> rule1) OR ((((triple7 ((triple5) -> rule4)) -> rule3) ((((triple7 triple6) -> rule5)) -> rule4)) -> rule1) OR ((((triple7 ((((triple7 triple6) -> rule5)) -> rule4)) -> rule3) triple1) -> rule1) OR ((((triple7 ((((triple7 triple6) -> rule5)) -> rule4)) -> rule3) ((triple5) -> rule4)) -> rule1) OR ((((triple7 ((((triple7 triple6) -> rule5)) -> rule4)) -> rule3) ((((triple7 triple6) -> rule5)) -> rule4)) -> rule1))] Charlie is nice.[(triple5 OR ((triple7 triple6) -> rule5) OR ((triple7 ((triple4) -> rule2)) -> rule5) OR ((triple7 ((((triple3 triple1) -> rule1)) -> rule2)) -> rule5) OR ((triple7 ((((((triple7 triple1) -> rule3) triple1) -> rule1)) -> rule2)) -> rule5))] Charlie is red.[(triple6 OR ((triple4) -> rule2) OR ((((triple3 triple1) -> rule1)) -> rule2) OR ((((triple5 triple1) -> rule6)) -> rule2) OR ((((triple3 ((triple5) -> rule4)) -> rule1)) -> rule2) OR ((((triple5 ((triple5) -> rule4)) -> rule6)) -> rule2) OR ((((((triple7 triple1) -> rule3) triple1) -> rule1)) -> rule2) OR ((((((triple7 triple1) -> rule3) ((triple5) -> rule4)) -> rule1)) -> rule2) OR ((((((triple7 ((triple5) -> rule4)) -> rule3) triple1) -> rule1)) -> rule2) OR ((((((triple7 ((triple5) -> rule4)) -> rule3) ((triple5) -> rule4)) -> rule1)) -> rule2))] Charlie is round.[(triple7)] Dave is cold.[(triple8)] Dave is furry.[(triple9)] Erin is big.[(triple10 OR ((triple11) -> rule4) OR ((((triple13 triple12) -> rule5)) -> rule4))] Erin is nice.[(triple11 OR ((triple13 triple12) -> rule5) OR ((triple13 ((((((triple13 triple10) -> rule3) triple10) -> rule1)) -> rule2)) -> rule5))] Erin is red.[(triple12 OR ((((triple11 triple10) -> rule6)) -> rule2) OR ((((triple11 ((triple11) -> rule4)) -> rule6)) -> rule2) OR ((((((triple13 triple10) -> rule3) triple10) -> rule1)) -> rule2) OR ((((((triple13 triple10) -> rule3) ((triple11) -> rule4)) -> rule1)) -> rule2) OR ((((((triple13 ((triple11) -> rule4)) -> rule3) triple10) -> rule1)) -> rule2) OR ((((((triple13 ((triple11) -> rule4)) -> rule3) ((triple11) -> rule4)) -> rule1)) -> rule2))] Erin is round.[(triple13)] Fiona is cold.[(triple14)] Fiona is red.[(triple15)] @1: Dave is red.[(((triple9) -> rule2))] Erin is cold.[(((triple13 triple10) -> rule3) OR ((triple13 ((triple11) -> rule4)) -> rule3) OR ((triple13 ((((triple13 triple12) -> rule5)) -> rule4)) -> rule3))] Erin is furry.[(((triple11 triple10) -> rule6) OR ((triple11 ((triple11) -> rule4)) -> rule6) OR ((((triple13 triple10) -> rule3) triple10) -> rule1) OR ((((triple13 triple12) -> rule5) triple10) -> rule6) OR ((((triple13 triple10) -> rule3) ((triple11) -> rule4)) -> rule1) OR ((((triple13 triple12) -> rule5) ((triple11) -> rule4)) -> rule6) OR ((triple11 ((((triple13 triple12) -> rule5)) -> rule4)) -> rule6) OR ((((triple13 ((triple11) -> rule4)) -> rule3) triple10) -> rule1) OR ((((triple13 triple10) -> rule3) ((((triple13 triple12) -> rule5)) -> rule4)) -> rule1) OR ((((triple13 triple12) -> rule5) ((((triple13 triple12) -> rule5)) -> rule4)) -> rule6) OR ((((triple13 ((triple11) -> rule4)) -> rule3) ((triple11) -> rule4)) -> rule1) OR ((((triple13 ((triple11) -> rule4)) -> rule3) ((((triple13 triple12) -> rule5)) -> rule4)) -> rule1) OR ((((triple13 ((((triple13 triple12) -> rule5)) -> rule4)) -> rule3) triple10) -> rule1) OR ((((triple13 ((((triple13 triple12) -> rule5)) -> rule4)) -> rule3) ((triple11) -> rule4)) -> rule1) OR ((((triple13 ((((triple13 triple12) -> rule5)) -> rule4)) -> rule3) ((((triple13 triple12) -> rule5)) -> rule4)) -> rule1))]