Charlie is big. Charlie is cold. Charlie is furry. Charlie is quiet. Charlie is red. Charlie is rough. Erin is big. Erin is furry. Erin is red. Erin is young. Fiona is big. Fiona is furry. Fiona is quiet. Fiona is red. Fiona is young. Quiet things are cold. If something is quiet then it is young. All young things are red. All red things are young. If something is quiet and big then it is rough. If something is big and furry then it is quiet. All red, rough things are quiet. If something is red and young then it is big.
Charlie is not furry.
@0: Charlie is big.[(triple1 OR ((triple5 ((triple4) -> rule2)) -> rule8) OR ((triple5 ((triple5) -> rule4)) -> rule8) OR ((triple5 ((((triple5 triple6) -> rule7)) -> rule2)) -> rule8) OR ((((((triple4) -> rule2)) -> rule3) ((triple4) -> rule2)) -> rule8) OR ((((((triple4) -> rule2)) -> rule3) ((triple5) -> rule4)) -> rule8) OR ((((((triple4) -> rule2)) -> rule3) ((((triple5 triple6) -> rule7)) -> rule2)) -> rule8))] Charlie is cold.[(triple2 OR ((triple4) -> rule1) OR ((((triple1 triple3) -> rule6)) -> rule1) OR ((((triple5 triple6) -> rule7)) -> rule1) OR ((((((triple5 ((triple5) -> rule4)) -> rule8) triple3) -> rule6)) -> rule1))] Charlie is furry.[(triple3)] Charlie is quiet.[(triple4 OR ((triple1 triple3) -> rule6) OR ((triple5 triple6) -> rule7) OR ((((triple5 ((triple5) -> rule4)) -> rule8) triple3) -> rule6))] Charlie is red.[(triple5 OR ((((triple4) -> rule2)) -> rule3) OR ((((((triple1 triple3) -> rule6)) -> rule2)) -> rule3))] Charlie is rough.[(triple6 OR ((triple4 triple1) -> rule5) OR ((((triple1 triple3) -> rule6) triple1) -> rule5) OR ((triple4 ((triple5 ((triple4) -> rule2)) -> rule8)) -> rule5) OR ((triple4 ((triple5 ((triple5) -> rule4)) -> rule8)) -> rule5) OR ((((triple1 triple3) -> rule6) ((triple5 ((triple4) -> rule2)) -> rule8)) -> rule5) OR ((((triple1 triple3) -> rule6) ((triple5 ((triple5) -> rule4)) -> rule8)) -> rule5) OR ((((((triple5 ((triple5) -> rule4)) -> rule8) triple3) -> rule6) triple1) -> rule5) OR ((triple4 ((((((triple4) -> rule2)) -> rule3) ((triple4) -> rule2)) -> rule8)) -> rule5) OR ((triple4 ((((((triple4) -> rule2)) -> rule3) ((triple5) -> rule4)) -> rule8)) -> rule5) OR ((((triple1 triple3) -> rule6) ((((((triple4) -> rule2)) -> rule3) ((triple4) -> rule2)) -> rule8)) -> rule5) OR ((((triple1 triple3) -> rule6) ((((((triple4) -> rule2)) -> rule3) ((triple5) -> rule4)) -> rule8)) -> rule5) OR ((((((triple5 ((triple5) -> rule4)) -> rule8) triple3) -> rule6) ((triple5 ((triple4) -> rule2)) -> rule8)) -> rule5) OR ((((((triple5 ((triple5) -> rule4)) -> rule8) triple3) -> rule6) ((triple5 ((triple5) -> rule4)) -> rule8)) -> rule5) OR ((((((triple5 ((triple5) -> rule4)) -> rule8) triple3) -> rule6) ((((((triple4) -> rule2)) -> rule3) ((triple4) -> rule2)) -> rule8)) -> rule5) OR ((((((triple5 ((triple5) -> rule4)) -> rule8) triple3) -> rule6) ((((((triple4) -> rule2)) -> rule3) ((triple5) -> rule4)) -> rule8)) -> rule5))] Erin is big.[(triple7 OR ((triple9 triple10) -> rule8) OR ((triple9 ((triple9) -> rule4)) -> rule8) OR ((((triple10) -> rule3) triple10) -> rule8) OR ((((triple10) -> rule3) ((triple9) -> rule4)) -> rule8))] Erin is furry.[(triple8)] Erin is red.[(triple9 OR ((triple10) -> rule3) OR ((((((triple7 triple8) -> rule6)) -> rule2)) -> rule3))] Erin is young.[(triple10 OR ((triple9) -> rule4) OR ((((triple7 triple8) -> rule6)) -> rule2))] Fiona is big.[(triple11 OR ((triple14 triple15) -> rule8) OR ((triple14 ((triple13) -> rule2)) -> rule8) OR ((triple14 ((triple14) -> rule4)) -> rule8) OR ((((triple15) -> rule3) triple15) -> rule8) OR ((((triple15) -> rule3) ((triple13) -> rule2)) -> rule8) OR ((((triple15) -> rule3) ((triple14) -> rule4)) -> rule8) OR ((((((triple13) -> rule2)) -> rule3) triple15) -> rule8) OR ((((((triple13) -> rule2)) -> rule3) ((triple13) -> rule2)) -> rule8) OR ((((((triple13) -> rule2)) -> rule3) ((triple14) -> rule4)) -> rule8))] Fiona is furry.[(triple12)] Fiona is quiet.[(triple13 OR ((triple11 triple12) -> rule6) OR ((((triple14 triple15) -> rule8) triple12) -> rule6) OR ((((triple14 ((triple14) -> rule4)) -> rule8) triple12) -> rule6) OR ((((((triple15) -> rule3) triple15) -> rule8) triple12) -> rule6) OR ((((((triple15) -> rule3) ((triple14) -> rule4)) -> rule8) triple12) -> rule6))] Fiona is red.[(triple14 OR ((triple15) -> rule3) OR ((((triple13) -> rule2)) -> rule3) OR ((((((triple11 triple12) -> rule6)) -> rule2)) -> rule3))] Fiona is young.[(triple15 OR ((triple13) -> rule2) OR ((triple14) -> rule4) OR ((((triple11 triple12) -> rule6)) -> rule2))] @1: Charlie is young.[(((triple4) -> rule2) OR ((triple5) -> rule4) OR ((((triple1 triple3) -> rule6)) -> rule2) OR ((((triple5 triple6) -> rule7)) -> rule2))] Erin is quiet.[(((triple7 triple8) -> rule6) OR ((((triple9 triple10) -> rule8) triple8) -> rule6) OR ((((triple9 ((triple9) -> rule4)) -> rule8) triple8) -> rule6) OR ((((((triple10) -> rule3) triple10) -> rule8) triple8) -> rule6) OR ((((((triple10) -> rule3) ((triple9) -> rule4)) -> rule8) triple8) -> rule6))] Fiona is cold.[(((triple13) -> rule1) OR ((((triple11 triple12) -> rule6)) -> rule1) OR ((((((triple14 triple15) -> rule8) triple12) -> rule6)) -> rule1) OR ((((((triple14 ((triple14) -> rule4)) -> rule8) triple12) -> rule6)) -> rule1) OR ((((((((triple15) -> rule3) triple15) -> rule8) triple12) -> rule6)) -> rule1) OR ((((((((triple15) -> rule3) ((triple14) -> rule4)) -> rule8) triple12) -> rule6)) -> rule1))] Fiona is rough.[(((triple13 triple11) -> rule5) OR ((triple13 ((triple14 triple15) -> rule8)) -> rule5) OR ((((triple11 triple12) -> rule6) triple11) -> rule5) OR ((((triple11 triple12) -> rule6) ((triple14 triple15) -> rule8)) -> rule5) OR ((triple13 ((triple14 ((triple13) -> rule2)) -> rule8)) -> rule5) OR ((triple13 ((triple14 ((triple14) -> rule4)) -> rule8)) -> rule5) OR ((triple13 ((((triple15) -> rule3) triple15) -> rule8)) -> rule5) OR ((((((triple14 triple15) -> rule8) triple12) -> rule6) triple11) -> rule5) OR ((triple13 ((((triple15) -> rule3) ((triple13) -> rule2)) -> rule8)) -> rule5) OR ((triple13 ((((triple15) -> rule3) ((triple14) -> rule4)) -> rule8)) -> rule5) OR ((((triple11 triple12) -> rule6) ((triple14 ((triple13) -> rule2)) -> rule8)) -> rule5) OR ((((triple11 triple12) -> rule6) ((triple14 ((triple14) -> rule4)) -> rule8)) -> rule5) OR ((((triple11 triple12) -> rule6) ((((triple15) -> rule3) triple15) -> rule8)) -> rule5) OR ((((((triple14 triple15) -> rule8) triple12) -> rule6) ((triple14 triple15) -> rule8)) -> rule5) OR ((((triple11 triple12) -> rule6) ((((triple15) -> rule3) ((triple13) -> rule2)) -> rule8)) -> rule5) OR ((((triple11 triple12) -> rule6) ((((triple15) -> rule3) ((triple14) -> rule4)) -> rule8)) -> rule5) OR ((((((triple14 triple15) -> rule8) triple12) -> rule6) ((triple14 ((triple13) -> rule2)) -> rule8)) -> rule5) OR ((((((triple14 triple15) -> rule8) triple12) -> rule6) ((triple14 ((triple14) -> rule4)) -> rule8)) -> rule5) OR ((((((triple14 triple15) -> rule8) triple12) -> rule6) ((((triple15) -> rule3) triple15) -> rule8)) -> rule5) OR ((((((triple14 triple15) -> rule8) triple12) -> rule6) ((((triple15) -> rule3) ((triple13) -> rule2)) -> rule8)) -> rule5) OR ((((((triple14 triple15) -> rule8) triple12) -> rule6) ((((triple15) -> rule3) ((triple14) -> rule4)) -> rule8)) -> rule5) OR ((triple13 ((((((triple13) -> rule2)) -> rule3) triple15) -> rule8)) -> rule5) OR ((((((triple14 ((triple14) -> rule4)) -> rule8) triple12) -> rule6) triple11) -> rule5) OR ((((((((triple15) -> rule3) triple15) -> rule8) triple12) -> rule6) triple11) -> rule5) OR ((triple13 ((((((triple13) -> rule2)) -> rule3) ((triple13) -> rule2)) -> rule8)) -> rule5) OR ((triple13 ((((((triple13) -> rule2)) -> rule3) ((triple14) -> rule4)) -> rule8)) -> rule5) OR ((((triple11 triple12) -> rule6) ((((((triple13) -> rule2)) -> rule3) triple15) -> rule8)) -> rule5) OR ((((((triple14 ((triple14) -> rule4)) -> rule8) triple12) -> rule6) ((triple14 triple15) -> rule8)) -> rule5) OR ((((((((triple15) -> rule3) triple15) -> rule8) triple12) -> rule6) ((triple14 triple15) -> rule8)) -> rule5) OR ((((((((triple15) -> rule3) ((triple14) -> rule4)) -> rule8) triple12) -> rule6) triple11) -> rule5) OR ((((triple11 triple12) -> rule6) ((((((triple13) -> rule2)) -> rule3) ((triple13) -> rule2)) -> rule8)) -> rule5) OR ((((triple11 triple12) -> rule6) ((((((triple13) -> rule2)) -> rule3) ((triple14) -> rule4)) -> rule8)) -> rule5) OR ((((((triple14 triple15) -> rule8) triple12) -> rule6) ((((((triple13) -> rule2)) -> rule3) triple15) -> rule8)) -> rule5) OR ((((((triple14 ((triple14) -> rule4)) -> rule8) triple12) -> rule6) ((triple14 ((triple13) -> rule2)) -> rule8)) -> rule5) OR ((((((triple14 ((triple14) -> rule4)) -> rule8) triple12) -> rule6) ((triple14 ((triple14) -> rule4)) -> rule8)) -> rule5) OR ((((((triple14 ((triple14) -> rule4)) -> rule8) triple12) -> rule6) ((((triple15) -> rule3) triple15) -> rule8)) -> rule5) OR ((((((((triple15) -> rule3) triple15) -> rule8) triple12) -> rule6) ((triple14 ((triple13) -> rule2)) -> rule8)) -> rule5) OR ((((((((triple15) -> rule3) triple15) -> rule8) triple12) -> rule6) ((triple14 ((triple14) -> rule4)) -> rule8)) -> rule5) OR ((((((((triple15) -> rule3) triple15) -> rule8) triple12) -> rule6) ((((triple15) -> rule3) triple15) -> rule8)) -> rule5) OR ((((((((triple15) -> rule3) ((triple14) -> rule4)) -> rule8) triple12) -> rule6) ((triple14 triple15) -> rule8)) -> rule5) OR ((((((triple14 triple15) -> rule8) triple12) -> rule6) ((((((triple13) -> rule2)) -> rule3) ((triple13) -> rule2)) -> rule8)) -> rule5) OR ((((((triple14 triple15) -> rule8) triple12) -> rule6) ((((((triple13) -> rule2)) -> rule3) ((triple14) -> rule4)) -> rule8)) -> rule5) OR ((((((triple14 ((triple14) -> rule4)) -> rule8) triple12) -> rule6) ((((triple15) -> rule3) ((triple13) -> rule2)) -> rule8)) -> rule5) OR ((((((triple14 ((triple14) -> rule4)) -> rule8) triple12) -> rule6) ((((triple15) -> rule3) ((triple14) -> rule4)) -> rule8)) -> rule5) OR ((((((triple14 ((triple14) -> rule4)) -> rule8) triple12) -> rule6) ((((((triple13) -> rule2)) -> rule3) triple15) -> rule8)) -> rule5) OR ((((((((triple15) -> rule3) triple15) -> rule8) triple12) -> rule6) ((((triple15) -> rule3) ((triple13) -> rule2)) -> rule8)) -> rule5) OR ((((((((triple15) -> rule3) triple15) -> rule8) triple12) -> rule6) ((((triple15) -> rule3) ((triple14) -> rule4)) -> rule8)) -> rule5) OR ((((((((triple15) -> rule3) triple15) -> rule8) triple12) -> rule6) ((((((triple13) -> rule2)) -> rule3) triple15) -> rule8)) -> rule5) OR ((((((((triple15) -> rule3) ((triple14) -> rule4)) -> rule8) triple12) -> rule6) ((triple14 ((triple13) -> rule2)) -> rule8)) -> rule5) OR ((((((((triple15) -> rule3) ((triple14) -> rule4)) -> rule8) triple12) -> rule6) ((triple14 ((triple14) -> rule4)) -> rule8)) -> rule5) OR ((((((((triple15) -> rule3) ((triple14) -> rule4)) -> rule8) triple12) -> rule6) ((((triple15) -> rule3) triple15) -> rule8)) -> rule5) OR ((((((triple14 ((triple14) -> rule4)) -> rule8) triple12) -> rule6) ((((((triple13) -> rule2)) -> rule3) ((triple13) -> rule2)) -> rule8)) -> rule5) OR ((((((triple14 ((triple14) -> rule4)) -> rule8) triple12) -> rule6) ((((((triple13) -> rule2)) -> rule3) ((triple14) -> rule4)) -> rule8)) -> rule5) OR ((((((((triple15) -> rule3) triple15) -> rule8) triple12) -> rule6) ((((((triple13) -> rule2)) -> rule3) ((triple13) -> rule2)) -> rule8)) -> rule5) OR ((((((((triple15) -> rule3) triple15) -> rule8) triple12) -> rule6) ((((((triple13) -> rule2)) -> rule3) ((triple14) -> rule4)) -> rule8)) -> rule5) OR ((((((((triple15) -> rule3) ((triple14) -> rule4)) -> rule8) triple12) -> rule6) ((((triple15) -> rule3) ((triple13) -> rule2)) -> rule8)) -> rule5) OR ((((((((triple15) -> rule3) ((triple14) -> rule4)) -> rule8) triple12) -> rule6) ((((triple15) -> rule3) ((triple14) -> rule4)) -> rule8)) -> rule5) OR ((((((((triple15) -> rule3) ((triple14) -> rule4)) -> rule8) triple12) -> rule6) ((((((triple13) -> rule2)) -> rule3) triple15) -> rule8)) -> rule5) OR ((((((((triple15) -> rule3) ((triple14) -> rule4)) -> rule8) triple12) -> rule6) ((((((triple13) -> rule2)) -> rule3) ((triple13) -> rule2)) -> rule8)) -> rule5) OR ((((((((triple15) -> rule3) ((triple14) -> rule4)) -> rule8) triple12) -> rule6) ((((((triple13) -> rule2)) -> rule3) ((triple14) -> rule4)) -> rule8)) -> rule5))] @2: Erin is cold.[(((((triple7 triple8) -> rule6)) -> rule1) OR ((((((triple9 triple10) -> rule8) triple8) -> rule6)) -> rule1) OR ((((((triple9 ((triple9) -> rule4)) -> rule8) triple8) -> rule6)) -> rule1) OR ((((((((triple10) -> rule3) triple10) -> rule8) triple8) -> rule6)) -> rule1) OR ((((((((triple10) -> rule3) ((triple9) -> rule4)) -> rule8) triple8) -> rule6)) -> rule1))] Erin is rough.[(((((triple7 triple8) -> rule6) triple7) -> rule5) OR ((((triple7 triple8) -> rule6) ((triple9 triple10) -> rule8)) -> rule5) OR ((((((triple9 triple10) -> rule8) triple8) -> rule6) triple7) -> rule5) OR ((((triple7 triple8) -> rule6) ((triple9 ((triple9) -> rule4)) -> rule8)) -> rule5) OR ((((triple7 triple8) -> rule6) ((((triple10) -> rule3) triple10) -> rule8)) -> rule5) OR ((((((triple9 triple10) -> rule8) triple8) -> rule6) ((triple9 triple10) -> rule8)) -> rule5) OR ((((triple7 triple8) -> rule6) ((((triple10) -> rule3) ((triple9) -> rule4)) -> rule8)) -> rule5) OR ((((((triple9 triple10) -> rule8) triple8) -> rule6) ((triple9 ((triple9) -> rule4)) -> rule8)) -> rule5) OR ((((((triple9 triple10) -> rule8) triple8) -> rule6) ((((triple10) -> rule3) triple10) -> rule8)) -> rule5) OR ((((((triple9 triple10) -> rule8) triple8) -> rule6) ((((triple10) -> rule3) ((triple9) -> rule4)) -> rule8)) -> rule5) OR ((((((triple9 ((triple9) -> rule4)) -> rule8) triple8) -> rule6) triple7) -> rule5) OR ((((((((triple10) -> rule3) triple10) -> rule8) triple8) -> rule6) triple7) -> rule5) OR ((((((triple9 ((triple9) -> rule4)) -> rule8) triple8) -> rule6) ((triple9 triple10) -> rule8)) -> rule5) OR ((((((((triple10) -> rule3) triple10) -> rule8) triple8) -> rule6) ((triple9 triple10) -> rule8)) -> rule5) OR ((((((((triple10) -> rule3) ((triple9) -> rule4)) -> rule8) triple8) -> rule6) triple7) -> rule5) OR ((((((triple9 ((triple9) -> rule4)) -> rule8) triple8) -> rule6) ((triple9 ((triple9) -> rule4)) -> rule8)) -> rule5) OR ((((((triple9 ((triple9) -> rule4)) -> rule8) triple8) -> rule6) ((((triple10) -> rule3) triple10) -> rule8)) -> rule5) OR ((((((((triple10) -> rule3) triple10) -> rule8) triple8) -> rule6) ((triple9 ((triple9) -> rule4)) -> rule8)) -> rule5) OR ((((((((triple10) -> rule3) triple10) -> rule8) triple8) -> rule6) ((((triple10) -> rule3) triple10) -> rule8)) -> rule5) OR ((((((((triple10) -> rule3) ((triple9) -> rule4)) -> rule8) triple8) -> rule6) ((triple9 triple10) -> rule8)) -> rule5) OR ((((((triple9 ((triple9) -> rule4)) -> rule8) triple8) -> rule6) ((((triple10) -> rule3) ((triple9) -> rule4)) -> rule8)) -> rule5) OR ((((((((triple10) -> rule3) triple10) -> rule8) triple8) -> rule6) ((((triple10) -> rule3) ((triple9) -> rule4)) -> rule8)) -> rule5) OR ((((((((triple10) -> rule3) ((triple9) -> rule4)) -> rule8) triple8) -> rule6) ((triple9 ((triple9) -> rule4)) -> rule8)) -> rule5) OR ((((((((triple10) -> rule3) ((triple9) -> rule4)) -> rule8) triple8) -> rule6) ((((triple10) -> rule3) triple10) -> rule8)) -> rule5) OR ((((((((triple10) -> rule3) ((triple9) -> rule4)) -> rule8) triple8) -> rule6) ((((triple10) -> rule3) ((triple9) -> rule4)) -> rule8)) -> rule5))]