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