Anne is big. Anne is cold. Anne is nice. Anne is smart. Anne is white. Bob is big. Bob is red. Bob is round. Bob is smart. Fiona is nice. Fiona is round. Fiona is white. All round, red people are cold. White, round people are cold. If someone is nice and round then they are smart. All smart, cold people are big. If Anne is round then Anne is cold. White people are round.
Anne is round.
@0: Anne is big.[(triple1 OR ((triple4 triple2) -> rule4) OR ((triple4 ((((triple5) -> rule6)) -> rule5)) -> rule4) OR ((triple4 ((triple5 ((triple5) -> rule6)) -> rule2)) -> rule4) OR ((((triple3 ((triple5) -> rule6)) -> rule3) triple2) -> rule4) OR ((((triple3 ((triple5) -> rule6)) -> rule3) ((((triple5) -> rule6)) -> rule5)) -> rule4) OR ((((triple3 ((triple5) -> rule6)) -> rule3) ((triple5 ((triple5) -> rule6)) -> rule2)) -> rule4))] Anne is cold.[(triple2 OR ((((triple5) -> rule6)) -> rule5) OR ((triple5 ((triple5) -> rule6)) -> rule2))] Anne is nice.[(triple3)] Anne is smart.[(triple4 OR ((triple3 ((triple5) -> rule6)) -> rule3))] Anne is white.[(triple5)] Bob is big.[(triple6 OR ((triple9 ((triple8 triple7) -> rule1)) -> rule4))] Bob is red.[(triple7)] Bob is round.[(triple8)] Bob is smart.[(triple9)] Fiona is nice.[(triple10)] Fiona is round.[(triple11 OR ((triple12) -> rule6))] Fiona is white.[(triple12)] @1: Anne is round.[(((triple5) -> rule6))] Bob is cold.[(((triple8 triple7) -> rule1))] Fiona is cold.[(((triple12 triple11) -> rule2) OR ((triple12 ((triple12) -> rule6)) -> rule2))] Fiona is smart.[(((triple10 triple11) -> rule3) OR ((triple10 ((triple12) -> rule6)) -> rule3))] @2: Fiona is big.[(((((triple10 triple11) -> rule3) ((triple12 triple11) -> rule2)) -> rule4) OR ((((triple10 triple11) -> rule3) ((triple12 ((triple12) -> rule6)) -> rule2)) -> rule4) OR ((((triple10 ((triple12) -> rule6)) -> rule3) ((triple12 triple11) -> rule2)) -> rule4) OR ((((triple10 ((triple12) -> rule6)) -> rule3) ((triple12 ((triple12) -> rule6)) -> rule2)) -> rule4))]