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