Anne is big. Anne is blue. Anne is cold. Anne is furry. Anne is nice. Anne is rough. Anne is white. Charlie is big. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is nice. Charlie is rough. Charlie is white. Fiona is furry. Fiona is rough. Big, nice things are cold. If something is blue then it is big. All rough things are nice. All cold things are rough. If something is white and cold then it is blue. Rough things are white. All white, nice things are blue. Cold things are nice.
Fiona is blue.
@0: Anne is big.[(triple1 OR ((triple2) -> rule2) OR ((((triple7 triple3) -> rule5)) -> rule2) OR ((((triple7 triple5) -> rule7)) -> rule2) OR ((((triple7 ((triple3) -> rule8)) -> rule7)) -> rule2) OR ((((triple7 ((triple6) -> rule3)) -> rule7)) -> rule2) OR ((((((triple6) -> rule6) triple3) -> rule5)) -> rule2) OR ((((((triple6) -> rule6) triple5) -> rule7)) -> rule2) OR ((((((triple6) -> rule6) ((triple3) -> rule8)) -> rule7)) -> rule2) OR ((((((triple6) -> rule6) ((triple6) -> rule3)) -> rule7)) -> rule2) OR ((((triple7 ((((triple3) -> rule4)) -> rule3)) -> rule7)) -> rule2) OR ((((((((triple3) -> rule4)) -> rule6) triple3) -> rule5)) -> rule2) OR ((((((((triple3) -> rule4)) -> rule6) triple5) -> rule7)) -> rule2) OR ((((((triple6) -> rule6) ((((triple3) -> rule4)) -> rule3)) -> rule7)) -> rule2) OR ((((((((triple3) -> rule4)) -> rule6) ((triple3) -> rule8)) -> rule7)) -> rule2) OR ((((((((triple3) -> rule4)) -> rule6) ((triple6) -> rule3)) -> rule7)) -> rule2) OR ((((((((triple3) -> rule4)) -> rule6) ((((triple3) -> rule4)) -> rule3)) -> rule7)) -> rule2))] Anne is blue.[(triple2 OR ((triple7 triple3) -> rule5) OR ((triple7 triple5) -> rule7) OR ((triple7 ((triple3) -> rule8)) -> rule7) OR ((triple7 ((triple6) -> rule3)) -> rule7) OR ((triple7 ((triple1 triple5) -> rule1)) -> rule5) OR ((((triple6) -> rule6) triple3) -> rule5) OR ((((triple6) -> rule6) triple5) -> rule7) OR ((((triple6) -> rule6) ((triple3) -> rule8)) -> rule7) OR ((((triple6) -> rule6) ((triple6) -> rule3)) -> rule7) OR ((((triple6) -> rule6) ((triple1 triple5) -> rule1)) -> rule5) OR ((triple7 ((((triple3) -> rule4)) -> rule3)) -> rule7) OR ((triple7 ((triple1 ((triple6) -> rule3)) -> rule1)) -> rule5) OR ((((((triple3) -> rule4)) -> rule6) triple3) -> rule5) OR ((((((triple3) -> rule4)) -> rule6) triple5) -> rule7) OR ((((triple6) -> rule6) ((((triple3) -> rule4)) -> rule3)) -> rule7) OR ((((triple6) -> rule6) ((triple1 ((triple6) -> rule3)) -> rule1)) -> rule5) OR ((((((triple3) -> rule4)) -> rule6) ((triple3) -> rule8)) -> rule7) OR ((((((triple3) -> rule4)) -> rule6) ((triple6) -> rule3)) -> rule7) OR ((((((triple3) -> rule4)) -> rule6) ((triple1 triple5) -> rule1)) -> rule5) OR ((((((triple3) -> rule4)) -> rule6) ((((triple3) -> rule4)) -> rule3)) -> rule7) OR ((((((triple3) -> rule4)) -> rule6) ((triple1 ((triple6) -> rule3)) -> rule1)) -> rule5) OR ((((((((triple1 triple5) -> rule1)) -> rule4)) -> rule6) triple3) -> rule5) OR ((((((((triple1 triple5) -> rule1)) -> rule4)) -> rule6) triple5) -> rule7) OR ((((((((triple1 triple5) -> rule1)) -> rule4)) -> rule6) ((triple3) -> rule8)) -> rule7) OR ((((((((triple1 triple5) -> rule1)) -> rule4)) -> rule6) ((triple6) -> rule3)) -> rule7) OR ((((((((triple1 triple5) -> rule1)) -> rule4)) -> rule6) ((triple1 triple5) -> rule1)) -> rule5) OR ((((((((triple1 triple5) -> rule1)) -> rule4)) -> rule6) ((((triple3) -> rule4)) -> rule3)) -> rule7) OR ((((((((triple1 triple5) -> rule1)) -> rule4)) -> rule6) ((triple1 ((triple6) -> rule3)) -> rule1)) -> rule5))] Anne is cold.[(triple3 OR ((triple1 triple5) -> rule1) OR ((triple1 ((triple6) -> rule3)) -> rule1) OR ((((triple2) -> rule2) triple5) -> rule1) OR ((((triple2) -> rule2) ((triple6) -> rule3)) -> rule1) OR ((((((triple7 triple5) -> rule7)) -> rule2) triple5) -> rule1) OR ((((((triple7 triple5) -> rule7)) -> rule2) ((triple6) -> rule3)) -> rule1) OR ((((((triple7 ((triple6) -> rule3)) -> rule7)) -> rule2) triple5) -> rule1) OR ((((((((triple6) -> rule6) triple5) -> rule7)) -> rule2) triple5) -> rule1) OR ((((((triple7 ((triple6) -> rule3)) -> rule7)) -> rule2) ((triple6) -> rule3)) -> rule1) OR ((((((((triple6) -> rule6) triple5) -> rule7)) -> rule2) ((triple6) -> rule3)) -> rule1) OR ((((((((triple6) -> rule6) ((triple6) -> rule3)) -> rule7)) -> rule2) triple5) -> rule1) OR ((((((((triple6) -> rule6) ((triple6) -> rule3)) -> rule7)) -> rule2) ((triple6) -> rule3)) -> rule1))] Anne is furry.[(triple4)] Anne is nice.[(triple5 OR ((triple3) -> rule8) OR ((triple6) -> rule3) OR ((((triple3) -> rule4)) -> rule3))] Anne is rough.[(triple6 OR ((triple3) -> rule4) OR ((((triple1 triple5) -> rule1)) -> rule4) OR ((((((triple2) -> rule2) triple5) -> rule1)) -> rule4) OR ((((((((triple7 triple5) -> rule7)) -> rule2) triple5) -> rule1)) -> rule4))] Anne is white.[(triple7 OR ((triple6) -> rule6) OR ((((triple3) -> rule4)) -> rule6) OR ((((((triple1 triple5) -> rule1)) -> rule4)) -> rule6) OR ((((((((triple2) -> rule2) triple5) -> rule1)) -> rule4)) -> rule6))] Charlie is big.[(triple8 OR ((triple9) -> rule2) OR ((((triple14 triple10) -> rule5)) -> rule2) OR ((((triple14 triple12) -> rule7)) -> rule2) OR ((((triple14 ((triple10) -> rule8)) -> rule7)) -> rule2) OR ((((triple14 ((triple13) -> rule3)) -> rule7)) -> rule2) OR ((((((triple13) -> rule6) triple10) -> rule5)) -> rule2) OR ((((((triple13) -> rule6) triple12) -> rule7)) -> rule2) OR ((((((triple13) -> rule6) ((triple10) -> rule8)) -> rule7)) -> rule2) OR ((((((triple13) -> rule6) ((triple13) -> rule3)) -> rule7)) -> rule2) OR ((((triple14 ((((triple10) -> rule4)) -> rule3)) -> rule7)) -> rule2) OR ((((((((triple10) -> rule4)) -> rule6) triple10) -> rule5)) -> rule2) OR ((((((((triple10) -> rule4)) -> rule6) triple12) -> rule7)) -> rule2) OR ((((((triple13) -> rule6) ((((triple10) -> rule4)) -> rule3)) -> rule7)) -> rule2) OR ((((((((triple10) -> rule4)) -> rule6) ((triple10) -> rule8)) -> rule7)) -> rule2) OR ((((((((triple10) -> rule4)) -> rule6) ((triple13) -> rule3)) -> rule7)) -> rule2) OR ((((((((triple10) -> rule4)) -> rule6) ((((triple10) -> rule4)) -> rule3)) -> rule7)) -> rule2))] Charlie is blue.[(triple9 OR ((triple14 triple10) -> rule5) OR ((triple14 triple12) -> rule7) OR ((triple14 ((triple10) -> rule8)) -> rule7) OR ((triple14 ((triple13) -> rule3)) -> rule7) OR ((triple14 ((triple8 triple12) -> rule1)) -> rule5) OR ((((triple13) -> rule6) triple10) -> rule5) OR ((((triple13) -> rule6) triple12) -> rule7) OR ((((triple13) -> rule6) ((triple10) -> rule8)) -> rule7) OR ((((triple13) -> rule6) ((triple13) -> rule3)) -> rule7) OR ((((triple13) -> rule6) ((triple8 triple12) -> rule1)) -> rule5) OR ((triple14 ((((triple10) -> rule4)) -> rule3)) -> rule7) OR ((triple14 ((triple8 ((triple13) -> rule3)) -> rule1)) -> rule5) OR ((((((triple10) -> rule4)) -> rule6) triple10) -> rule5) OR ((((((triple10) -> rule4)) -> rule6) triple12) -> rule7) OR ((((triple13) -> rule6) ((((triple10) -> rule4)) -> rule3)) -> rule7) OR ((((triple13) -> rule6) ((triple8 ((triple13) -> rule3)) -> rule1)) -> rule5) OR ((((((triple10) -> rule4)) -> rule6) ((triple10) -> rule8)) -> rule7) OR ((((((triple10) -> rule4)) -> rule6) ((triple13) -> rule3)) -> rule7) OR ((((((triple10) -> rule4)) -> rule6) ((triple8 triple12) -> rule1)) -> rule5) OR ((((((triple10) -> rule4)) -> rule6) ((((triple10) -> rule4)) -> rule3)) -> rule7) OR ((((((triple10) -> rule4)) -> rule6) ((triple8 ((triple13) -> rule3)) -> rule1)) -> rule5) OR ((((((((triple8 triple12) -> rule1)) -> rule4)) -> rule6) triple10) -> rule5) OR ((((((((triple8 triple12) -> rule1)) -> rule4)) -> rule6) triple12) -> rule7) OR ((((((((triple8 triple12) -> rule1)) -> rule4)) -> rule6) ((triple10) -> rule8)) -> rule7) OR ((((((((triple8 triple12) -> rule1)) -> rule4)) -> rule6) ((triple13) -> rule3)) -> rule7) OR ((((((((triple8 triple12) -> rule1)) -> rule4)) -> rule6) ((triple8 triple12) -> rule1)) -> rule5) OR ((((((((triple8 triple12) -> rule1)) -> rule4)) -> rule6) ((((triple10) -> rule4)) -> rule3)) -> rule7) OR ((((((((triple8 triple12) -> rule1)) -> rule4)) -> rule6) ((triple8 ((triple13) -> rule3)) -> rule1)) -> rule5))] Charlie is cold.[(triple10 OR ((triple8 triple12) -> rule1) OR ((triple8 ((triple13) -> rule3)) -> rule1) OR ((((triple9) -> rule2) triple12) -> rule1) OR ((((triple9) -> rule2) ((triple13) -> rule3)) -> rule1) OR ((((((triple14 triple12) -> rule7)) -> rule2) triple12) -> rule1) OR ((((((triple14 triple12) -> rule7)) -> rule2) ((triple13) -> rule3)) -> rule1) OR ((((((triple14 ((triple13) -> rule3)) -> rule7)) -> rule2) triple12) -> rule1) OR ((((((((triple13) -> rule6) triple12) -> rule7)) -> rule2) triple12) -> rule1) OR ((((((triple14 ((triple13) -> rule3)) -> rule7)) -> rule2) ((triple13) -> rule3)) -> rule1) OR ((((((((triple13) -> rule6) triple12) -> rule7)) -> rule2) ((triple13) -> rule3)) -> rule1) OR ((((((((triple13) -> rule6) ((triple13) -> rule3)) -> rule7)) -> rule2) triple12) -> rule1) OR ((((((((triple13) -> rule6) ((triple13) -> rule3)) -> rule7)) -> rule2) ((triple13) -> rule3)) -> rule1))] Charlie is furry.[(triple11)] Charlie is nice.[(triple12 OR ((triple10) -> rule8) OR ((triple13) -> rule3) OR ((((triple10) -> rule4)) -> rule3))] Charlie is rough.[(triple13 OR ((triple10) -> rule4) OR ((((triple8 triple12) -> rule1)) -> rule4) OR ((((((triple9) -> rule2) triple12) -> rule1)) -> rule4) OR ((((((((triple14 triple12) -> rule7)) -> rule2) triple12) -> rule1)) -> rule4))] Charlie is white.[(triple14 OR ((triple13) -> rule6) OR ((((triple10) -> rule4)) -> rule6) OR ((((((triple8 triple12) -> rule1)) -> rule4)) -> rule6) OR ((((((((triple9) -> rule2) triple12) -> rule1)) -> rule4)) -> rule6))] Fiona is furry.[(triple15)] Fiona is rough.[(triple16)] @1: Fiona is nice.[(((triple16) -> rule3))] Fiona is white.[(((triple16) -> rule6))] @2: Fiona is blue.[(((((triple16) -> rule6) ((triple16) -> rule3)) -> rule7))] @3: Fiona is big.[(((((((triple16) -> rule6) ((triple16) -> rule3)) -> rule7)) -> rule2))] @4: Fiona is cold.[(((((((((triple16) -> rule6) ((triple16) -> rule3)) -> rule7)) -> rule2) ((triple16) -> rule3)) -> rule1))]